diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index 3afaa55774..cd3fb6129c 100644 --- 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)