diff --git a/src/TODO.org b/src/TODO.org deleted file mode 100644 index 4989592a3a346d774fb9e349e7a4e716d9e4e7f0..0000000000000000000000000000000000000000 --- a/src/TODO.org +++ /dev/null @@ -1 +0,0 @@ -* consider truncating only in tangential direction