diff --git a/doc/dev/todo/steven b/doc/dev/todo/steven index 144c4150..262255d7 100644 --- a/doc/dev/todo/steven +++ b/doc/dev/todo/steven @@ -1,7 +1,5 @@ Object: - explorer_out_dir - Type: