Naturally the git prop script does the wrong thing
This commit is contained in:
parent
54d0797c7c
commit
ccef8f8f37
|
@ -1735,6 +1735,8 @@ path/s is either such a string or a list of them.
|
|||
"collects/typed/framework/framework.rkt" drdr:command-line "mred-text -t ~s"
|
||||
"collects/typed/framework/prefs-contract.rkt" drdr:command-line "mred-text -t ~s"
|
||||
"collects/typed/mred/mred.rkt" drdr:command-line "mred-text -t ~s"
|
||||
"collects/typed/racunit" responsible (jay)
|
||||
"collects/typed/racunit/gui.rkt" drdr:command-line "gracket -t ~s"
|
||||
"collects/typed-scheme" responsible (samth)
|
||||
"collects/unstable" responsible (jay samth cce ryanc)
|
||||
"collects/unstable/debug.rkt" responsible (samth)
|
||||
|
@ -1798,12 +1800,10 @@ path/s is either such a string or a list of them.
|
|||
"doc/release-notes/mred" responsible (mflatt)
|
||||
"doc/release-notes/mzscheme" responsible (mflatt)
|
||||
"doc/release-notes/stepper" responsible (clements)
|
||||
"gui.rkt" drdr:command-line "gracket -t ~s"
|
||||
"man/man1/drscheme.1" responsible (robby)
|
||||
"man/man1/mred.1" responsible (mflatt)
|
||||
"man/man1/mzscheme.1" responsible (mflatt)
|
||||
"man/man1/plt-help.1" responsible (robby)
|
||||
"racunit" responsible (jay)
|
||||
"src/Makefile.in" responsible (mflatt)
|
||||
"src/README" responsible (mflatt)
|
||||
"src/a-list" responsible (mflatt)
|
||||
|
|
Loading…
Reference in New Issue
Block a user