From 62ede789fd7c4ea4290c7001ac05c5340b379822 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 12 May 2014 11:55:25 -0400
Subject: [PATCH] Remove the empty TODO document.

---
 doc/TODO | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 doc/TODO

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