update todo steven
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
parent
b936fea3e5
commit
240383e4b6
1 changed files with 2 additions and 1 deletions
|
@ -5,7 +5,8 @@ Object:
|
|||
gencode_remote
|
||||
|
||||
Type:
|
||||
explorer_path
|
||||
explorer_dir
|
||||
remote_explorer_dir
|
||||
|
||||
GlobalExplorer:
|
||||
out_path: local path into which the output is written
|
||||
|
|
Loading…
Reference in a new issue