Drop todo file.

This commit is contained in:
Eli Barzilay 2013-06-16 21:59:54 -04:00
parent 0b0aa72ba0
commit c37ce33baa

View File

@ -606,7 +606,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)