diff options
| author | Paul Jungeblut <paul.jungeblut@gmail.com> | 2015-12-04 13:20:44 +0100 |
|---|---|---|
| committer | Paul Jungeblut <paul.jungeblut@gmail.com> | 2015-12-04 13:20:44 +0100 |
| commit | 7180049c4f1d125384bf4726eedc72f093716d1b (patch) | |
| tree | dc4e74133cf0906e19ab638580a62b1d5f891e2a | |
| parent | 90ea3b86484e4dd461dbb44435437eb878cd881c (diff) | |
Deleting the toDo.txt. Using GitHub issues now.
| -rw-r--r-- | toDo.txt | 1 |
1 files changed, 0 insertions, 1 deletions
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 |