]> gitweb.michael.orlitzky.com - hath.git/commitdiff
Remove the empty TODO document.
authorMichael Orlitzky <michael@orlitzky.com>
Mon, 12 May 2014 15:55:25 +0000 (11:55 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 12 May 2014 15:55:25 +0000 (11:55 -0400)
doc/TODO [deleted file]

diff --git a/doc/TODO b/doc/TODO
deleted file mode 100644 (file)
index 1df992c..0000000
--- a/doc/TODO
+++ /dev/null
@@ -1 +0,0 @@
-1. Document parallel lookups with +RTS -N.