From 357ee7713f0c5a889fc5c08932a54db75c3d46de Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 4 Mar 2008 20:39:47 +0000 Subject: [PATCH] HtDPv0 is no longer here svn: r8882 --- collects/htdp/info.ss | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/htdp/info.ss b/collects/htdp/info.ss index cd995b856f..d0383f9efa 100644 --- a/collects/htdp/info.ss +++ b/collects/htdp/info.ss @@ -6,5 +6,4 @@ ;; TEMPORARY DISABLE THESE FILES UNTIL FIXED ;; "matrix.ss" "matrix-client.ss" "matrix-invisible.ss" ;; "matrix-render-sig.ss" "matrix-sig.ss" "matrix-unit.ss" - "Test" - "HtDPv0")) + "Test"))