From 73ba8e2366d25333314d4bf960ce558ce31d596e Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Fri, 7 Oct 2011 15:26:38 +0200
Subject: [PATCH] --todo(steven)

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

diff --git a/doc/dev/todo/steven b/doc/dev/todo/steven
index 35648910..b79b719b 100644
--- a/doc/dev/todo/steven
+++ b/doc/dev/todo/steven
@@ -7,8 +7,6 @@ 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