From 79dd98739df2ef323b685185b57c55a77c9a11bd Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Fri, 7 Oct 2011 12:29:49 +0200
Subject: [PATCH] ++todo steven
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
doc/dev/todo/steven | 3 +++
1 file changed, 3 insertions(+)
diff --git a/doc/dev/todo/steven b/doc/dev/todo/steven
index 77b74451..41306a66 100644
--- 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