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