X-Git-Url: http://gitweb.michael.orlitzky.com/?p=dead%2Fharbl.git;a=blobdiff_plain;f=doc%2FTODO;fp=doc%2FTODO;h=0000000000000000000000000000000000000000;hp=e8b71193c7b8b9fa9241b79f197890e831d377b9;hb=e093d003defb7948f17927091c3e73a250d53e6c;hpb=20e2618366a1965f5cd91b1daf1d5a37d459deaa

diff --git a/doc/TODO b/doc/TODO
deleted file mode 100644
index e8b7119..0000000
--- a/doc/TODO
+++ /dev/null
@@ -1 +0,0 @@
-1. Remove Eq constraints where not needed.