From 7180049c4f1d125384bf4726eedc72f093716d1b Mon Sep 17 00:00:00 2001 From: Paul Jungeblut Date: Fri, 4 Dec 2015 13:20:44 +0100 Subject: Deleting the toDo.txt. Using GitHub issues now. --- toDo.txt | 1 - 1 file changed, 1 deletion(-) delete mode 100644 toDo.txt diff --git a/toDo.txt b/toDo.txt deleted file mode 100644 index 57d1543..0000000 --- a/toDo.txt +++ /dev/null @@ -1 +0,0 @@ -- kondensierter Graph \ No newline at end of file -- cgit v1.2.3