diff --git a/doc/dev/todo/steven b/doc/dev/todo/steven index 09c87851..77b74451 100644 --- a/doc/dev/todo/steven +++ b/doc/dev/todo/steven @@ -1,9 +1,11 @@ Object: code_remote - code_local + code gencode_local gencode_remote + path_remote + Type: explorer_dir remote_explorer_dir