From e301b74610827ccb2119d386e9393db6fb243856 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Fri, 7 Oct 2011 12:42:11 +0200
Subject: [PATCH] ++steven
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
doc/dev/todo/steven | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/doc/dev/todo/steven b/doc/dev/todo/steven
index 41306a66..cb452450 100644
--- a/doc/dev/todo/steven
+++ b/doc/dev/todo/steven
@@ -1,11 +1,13 @@
Object:
code_remote
code
- gencode_local
+ gencode
gencode_remote
path_remote
+ explorer_out_dir
+
Type:
explorer_dir
remote_explorer_dir