From: Michael Orlitzky Date: Thu, 9 Jul 2015 06:45:06 +0000 (-0400) Subject: Remove a TODO that turned out to be more trouble than it's worth. X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=e093d003defb7948f17927091c3e73a250d53e6c;p=dead%2Fharbl.git Remove a TODO that turned out to be more trouble than it's worth. --- 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.