Disable this file in DrDr -- it launches DrRacket.
This commit is contained in:
parent
9a15a1febb
commit
55e5ecfc74
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue
Block a user