From ad8c9dd91b99756bc2a855ddb225fdcda9e90846 Mon Sep 17 00:00:00 2001 From: Matthias Beyer Date: Thu, 4 Jan 2018 11:44:30 +0100 Subject: [PATCH] Remove dead TODO link --- TODO.md | 1 - 1 file changed, 1 deletion(-) delete mode 120000 TODO.md diff --git a/TODO.md b/TODO.md deleted file mode 120000 index dc83a8ab..00000000 --- a/TODO.md +++ /dev/null @@ -1 +0,0 @@ -doc/src/09000-todos.md \ No newline at end of file