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.