From cc86b6f06ec5be9c28c4dccc2bcc702ee88f6253 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 1 Nov 2011 11:32:29 -0500 Subject: [PATCH] disable incremental-keybindings.rkt --- collects/meta/props | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/meta/props b/collects/meta/props index d7791105e3..0ae92d16fa 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1263,6 +1263,7 @@ path/s is either such a string or a list of them. "collects/scribble/tools/private/mk-drs-bitmaps.rkt" drdr:command-line (gracket-text * "skip") "collects/scribblings" responsible (mflatt eli robby matthias) "collects/scribblings/drracket" responsible (robby) +"collects/scribblings/drracket/incremental-keybindings.rkt" drdr:command-line #f "collects/scribblings/framework" responsible (robby) "collects/scribblings/framework/standard-menus.scrbl" drdr:command-line #f "collects/scribblings/guide/contracts-examples/6.rkt" drdr:command-line (racket "-f" *)