diff --git a/doc/dev/todo/niconext b/doc/dev/todo/niconext index 1ed887d5..7c91d865 100644 --- a/doc/dev/todo/niconext +++ b/doc/dev/todo/niconext @@ -2,7 +2,10 @@ either make functions available on the other side or put logic on the server side. - - trying to run global explorers nicely from local side + - trying to run type explorers nicely from local side + - must check whether type directory has been transmitted before! + +-------------------------------------------------------------------------------- - Both type and global have...