From c1db2bd51ae60e7f65347fca17998ed361b17b0e Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Fri, 7 Oct 2011 15:23:48 +0200
Subject: [PATCH] ++todo(steven)
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
doc/dev/todo/steven | 2 ++
1 file changed, 2 insertions(+)
diff --git a/doc/dev/todo/steven b/doc/dev/todo/steven
index b79b719b..35648910 100644
--- a/doc/dev/todo/steven
+++ b/doc/dev/todo/steven
@@ -7,6 +7,8 @@ Object:
Type:
type.transferred_explorers
+ type.type_explorer_paths() -> relative list of paths of explorer
+
GlobalExplorer:
out_path: local path into which the output is written