++todo steven
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
parent
240383e4b6
commit
fecd5c99b6
1 changed files with 3 additions and 1 deletions
|
@ -1,9 +1,11 @@
|
|||
Object:
|
||||
code_remote
|
||||
code_local
|
||||
code
|
||||
gencode_local
|
||||
gencode_remote
|
||||
|
||||
path_remote
|
||||
|
||||
Type:
|
||||
explorer_dir
|
||||
remote_explorer_dir
|
||||
|
|
Loading…
Reference in a new issue