++todo steven

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
13 years ago · 79dd98739d
parent fecd5c99b6
commit 79dd98739d
1 changed files with 3 additions and 0 deletions
--- a/doc/dev/todo/steven
+++ b/doc/dev/todo/steven
@ -10,6 +10,9 @@ Type:
   explorer_dir
   remote_explorer_dir

+   explorer_remote_dir
+
+
 GlobalExplorer:
   out_path: local path into which the output is written