From 58afb93a179e4300fe3177b8ef4a875972f50282 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 16 Sep 2010 13:42:43 -0400 Subject: [PATCH] Re-fix hadnin-server/overridden-collects props. --- collects/meta/props | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/collects/meta/props b/collects/meta/props index 7bbcbc769a..46337531f8 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -888,10 +888,8 @@ path/s is either such a string or a list of them. "collects/handin-server" responsible (eli) "collects/handin-server/checker.rkt" drdr:command-line (mzc *) "collects/handin-server/main.rkt" drdr:command-line (mzc *) -"collects/handin-server/overridden-collects/fake-teachpack/htdp/guess.rkt" drdr:command-line (gracket-text "-t" *) -"collects/handin-server/overridden-collects/fake-teachpack/htdp/master.rkt" drdr:command-line (gracket-text "-t" *) -"collects/handin-server/overridden-collects/teachpack/htdp/guess.rkt" drdr:command-line (gracket "-t" *) -"collects/handin-server/overridden-collects/teachpack/htdp/master.rkt" drdr:command-line (gracket "-t" *) +"collects/handin-server/overridden-collects/teachpack/htdp/guess.rkt" drdr:command-line (gracket-text "-t" *) +"collects/handin-server/overridden-collects/teachpack/htdp/master.rkt" drdr:command-line (gracket-text "-t" *) "collects/handin-server/utils.rkt" drdr:command-line (mzc *) "collects/handin-server/web-status-server.rkt" drdr:command-line (mzc *) "collects/help" responsible (robby)