From c4a8cd65fb362de342571650e881d32f6c723361 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 28 Nov 2011 20:40:13 -0600 Subject: [PATCH] disable file in drdr --- collects/meta/props | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/meta/props b/collects/meta/props index 073082ccc3..7faf288ce5 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -636,6 +636,7 @@ path/s is either such a string or a list of them. "collects/drracket/private/bindings-browser.rkt" drdr:command-line (gracket-text "-t" *) "collects/drracket/private/bitmap-message.rkt" drdr:command-line (gracket-text "-t" *) "collects/drracket/private/debug.rkt" drdr:command-line (gracket-text "-t" *) +"collects/drracket/private/dock-icon.rkt" drdr:command-line (raco "make" *) "collects/drracket/private/drracket-normal.rkt" drdr:command-line (mzc *) "collects/drracket/private/eb.rkt" drdr:command-line (gracket-text *) "collects/drracket/private/embedded-snip-utils.rkt" drdr:command-line (gracket-text "-t" *)