From 6272d0511a2d9bd82671fbfbe7268d9730c30431 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 23 Apr 2010 15:43:57 -0500 Subject: [PATCH] dont bother running collects/help/help.ss --- collects/meta/props | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) mode change 100755 => 100644 collects/meta/props diff --git a/collects/meta/props b/collects/meta/props old mode 100755 new mode 100644 index 3a1d407212..db0efc4fa0 --- a/collects/meta/props +++ b/collects/meta/props @@ -812,6 +812,7 @@ path/s is either such a string or a list of them. "collects/handin-server/web-status-server.ss" drdr:command-line "mzc ~s" "collects/help" responsible (robby) "collects/help/bug-report.ss" drdr:command-line "mred-text -t ~s" +"collects/help/help.ss" drdr:command-line "mzc ~s" "collects/hierlist/hierlist.ss" drdr:command-line "mred-text -t ~s" "collects/honu" responsible (mflatt rafkind) "collects/htdp" responsible (matthias) @@ -897,8 +898,8 @@ path/s is either such a string or a list of them. "collects/make" responsible (mflatt) "collects/meta" responsible (eli) "collects/meta/check-dists.ss" drdr:command-line "" -"collects/meta/drdr" responsible (jay) drdr:command-line "" "collects/meta/contrib/completion/racket-completion.bash" responsible (samth sstrickl) drdr:command-line "" +"collects/meta/drdr" responsible (jay) drdr:command-line "" "collects/mred/edit-main.ss" drdr:command-line "mzc ~s" "collects/mred/edit.ss" drdr:command-line "mred-text -t ~s" "collects/mred/lang/main.ss" drdr:command-line "mred-text -t ~s"