Drop todo file.

(cherry picked from commit c37ce33)
frenchy64 · Jun 17, 2013 · a8f00fe · a8f00fe
1 parent e6912bd
commit a8f00fe
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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)