From c880dfed98500072165bae2ce0d53dafa931d1f0 Mon Sep 17 00:00:00 2001 From: Hiltjo Posthuma Date: Fri, 23 Jun 2017 14:03:14 +0200 Subject: [PATCH] remove TODO --- TODO | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 TODO diff --git a/TODO b/TODO deleted file mode 100644 index 8d8f4c0..0000000 --- a/TODO +++ /dev/null @@ -1,7 +0,0 @@ -performance: -- don't recreate files tree for HEAD each time: - - idea: update files in tree and commit files with timestamp of commit and - compare? - -documentation: -- improve mandoc pages.