diff --git a/doc/dev/todo/steven b/doc/dev/todo/steven index d35565eb..0bf8aed1 100644 --- a/doc/dev/todo/steven +++ b/doc/dev/todo/steven @@ -1,10 +1,6 @@ Object: code_remote code - gencode - gencode_remote - - path_remote explorer_out_dir