Disable drdr for the whole directory.
This commit is contained in:
parent
d78fccb75b
commit
35e4662b94
|
@ -999,7 +999,7 @@ path/s is either such a string or a list of them.
|
|||
"collects/meta/contrib/completion/racket-completion.bash" responsible (samth sstrickl) drdr:command-line #f
|
||||
"collects/meta/drdr" responsible (jay) drdr:command-line #f
|
||||
"collects/meta/drdr2" responsible (jay) drdr:command-line #f
|
||||
"collects/meta/web/build.rkt" drdr:command-line #f
|
||||
"collects/meta/web" drdr:command-line #f
|
||||
"collects/mred" responsible (mflatt)
|
||||
"collects/mred/edit-main.rkt" drdr:command-line (mzc *)
|
||||
"collects/mred/edit.rkt" drdr:command-line (gracket-text "-t" *)
|
||||
|
|
Loading…
Reference in New Issue
Block a user