From 35e4662b9496a8c05fca628e0282b3a0d57a3e26 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 16 Jun 2011 21:21:53 -0400 Subject: [PATCH] Disable drdr for the whole directory. --- collects/meta/props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/meta/props b/collects/meta/props index 1acf4683ca..0bf3d28033 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -999,7 +999,7 @@ path/s is either such a string or a list of them. "collects/meta/contrib/completion/racket-completion.bash" responsible (samth sstrickl) drdr:command-line #f "collects/meta/drdr" responsible (jay) drdr:command-line #f "collects/meta/drdr2" responsible (jay) drdr:command-line #f -"collects/meta/web/build.rkt" drdr:command-line #f +"collects/meta/web" drdr:command-line #f "collects/mred" responsible (mflatt) "collects/mred/edit-main.rkt" drdr:command-line (mzc *) "collects/mred/edit.rkt" drdr:command-line (gracket-text "-t" *)