diff --git a/doc/dev/todo/steven b/doc/dev/todo/steven index 0bf8aed1..144c4150 100644 --- a/doc/dev/todo/steven +++ b/doc/dev/todo/steven @@ -1,6 +1,4 @@ Object: - code_remote - code explorer_out_dir