disable incremental-keybindings.rkt

This commit is contained in:
Robby Findler 2011-11-01 11:32:29 -05:00
parent 5128f08810
commit cc86b6f06e

View File

@ -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" *)