From f544fc5c42d81d7aadb3d528c80a07119b9f434d Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Fri, 17 Jun 2011 15:01:31 +0200
Subject: [PATCH] next todo

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 doc/dev/todo/niconext | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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...