From 55e5ecfc74acee5061bc5a41f4584d47b08c8292 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sat, 3 Sep 2011 18:32:34 -0400 Subject: [PATCH] Disable this file in DrDr -- it launches DrRacket. --- collects/meta/props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/meta/props b/collects/meta/props index 4344a49b8b..ba8a94c103 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1275,7 +1275,7 @@ path/s is either such a string or a list of them. "collects/scribble/text" responsible (eli) "collects/scribble/text.rkt" responsible (eli) "collects/scribble/tools" responsible (robby) -"collects/scribble/tools/drracket-buttons.rkt" drdr:command-line (gracket-text *) +"collects/scribble/tools/drracket-buttons.rkt" drdr:command-line #f "collects/scribble/tools/private/mk-drs-bitmaps.rkt" drdr:command-line (gracket-text * "skip") "collects/scribblings" responsible (mflatt eli robby matthias) "collects/scribblings/framework/standard-menus.scrbl" drdr:command-line #f