]> gitweb.michael.orlitzky.com - hath.git/blobdiff - doc/TODO
Remove the empty TODO document.
[hath.git] / doc / TODO
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.