From 14a508d84ef8337eb50811428e7851dc4ae7dc0c Mon Sep 17 00:00:00 2001
From: Martijn Vermaat <martijn@vermaat.name>
Date: Sun, 22 Jun 2014 20:33:26 +0200
Subject: [PATCH] Remove todo notes

They have either been implemented or filed as an issue on GitLab.
---
 todo.txt | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 todo.txt

diff --git a/todo.txt b/todo.txt
deleted file mode 100644
index 08b0529..0000000
--- a/todo.txt
+++ /dev/null
@@ -1,14 +0,0 @@
-Basics practical:
-- Make a ``projects directory''.
-- Make an empty directory named ``my_project'' and do a ``git init'' there.
-
-Annex practical:
-- Merge the two sub-practicals into one coherent practical.
-- Check the ``git annex drop'' part, it needs a sync first.
-
-General:
-- Build on one example repository, to make everything more coherent.
-- End all presentations with one slide that summarizes all important commands
-  (show it during practical).
-- If we have time, create (wiki) pages with the same content as the slides
-  (they can be more verbose), also useful outside the course.
\ No newline at end of file
-- 
GitLab