diff --git a/doc/dev/todo/steven b/doc/dev/todo/steven index e69de29b..0ff17f6a 100644 --- a/doc/dev/todo/steven +++ b/doc/dev/todo/steven @@ -0,0 +1,8 @@ +Object: + code_remote + code_local + gencode_local + gencode_remote + +Type: + explorer_path