From 240383e4b625afd1ae222e83233efcb7292e24e4 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Fri, 7 Oct 2011 12:15:23 +0200
Subject: [PATCH] update todo steven

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 doc/dev/todo/steven | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/dev/todo/steven b/doc/dev/todo/steven
index 0383c23e..09c87851 100644
--- a/doc/dev/todo/steven
+++ b/doc/dev/todo/steven
@@ -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