--todo(steven)

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
13 years ago · 73ba8e2366
parent c1db2bd51a
commit 73ba8e2366
1 changed files with 0 additions and 2 deletions
--- 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