Drop todo file.

(cherry picked from commit c37ce33baa)
2013-06-16 21:59:54 -04:00 · 2013-06-16 21:59:54 -04:00 · a8f00fef22
commit a8f00fef22
parent e6912bd39c
1 changed files with 2 additions and 1 deletions
--- a/collects/meta/dist-specs.rkt
+++ b/collects/meta/dist-specs.rkt
@ -598,7 +598,8 @@ plt-extras :+=
  (- (package: "2htdp/")
     "uchat/") ; Matthias doesn't want this in now
  (package: "test-engine/")
-  (package: "realm")
+  (- (package: "realm")
+     "todo.txt")

 ;; -------------------- math
 dr-extras :+= (package: "math") (get-libs: math)