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