From fecd5c99b649b6592b81ea888a7fade843786e65 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Fri, 7 Oct 2011 12:18:04 +0200
Subject: [PATCH] ++todo 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 09c87851..77b74451 100644
--- a/doc/dev/todo/steven
+++ b/doc/dev/todo/steven
@@ -1,9 +1,11 @@
Object:
code_remote
- code_local
+ code
gencode_local
gencode_remote
+ path_remote
+
Type:
explorer_dir
remote_explorer_dir