From 46f9819f5658b97bde31f179eec25690ac567c28 Mon Sep 17 00:00:00 2001 From: Fabio Erculiani Date: Wed, 23 Nov 2011 22:45:03 +0100 Subject: [PATCH] [todo] update TODO --- docs/TODO | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/TODO b/docs/TODO index 15ef785f0..2a6cf87f0 100644 --- a/docs/TODO +++ b/docs/TODO @@ -9,6 +9,7 @@ Backlog (raw) local repo is older than remote. - or simply: pull cmd == do not push; push cmd == do not pull + - eit remote (for handling repos in server.conf) - rework client/ code, as done with eit - ditch etpUi