From a8f00fef224e842f479d06d4b96ee6de6f279757 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Sun, 16 Jun 2013 21:59:54 -0400
Subject: [PATCH] Drop todo file.

(cherry picked from commit c37ce33baad0ca2f8d63fa0e75608f39422f70a3)
---
 collects/meta/dist-specs.rkt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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