Re-fix hadnin-server/overridden-collects props.
This commit is contained in:
parent
d440e17dde
commit
58afb93a17
|
@ -888,10 +888,8 @@ path/s is either such a string or a list of them.
|
|||
"collects/handin-server" responsible (eli)
|
||||
"collects/handin-server/checker.rkt" drdr:command-line (mzc *)
|
||||
"collects/handin-server/main.rkt" drdr:command-line (mzc *)
|
||||
"collects/handin-server/overridden-collects/fake-teachpack/htdp/guess.rkt" drdr:command-line (gracket-text "-t" *)
|
||||
"collects/handin-server/overridden-collects/fake-teachpack/htdp/master.rkt" drdr:command-line (gracket-text "-t" *)
|
||||
"collects/handin-server/overridden-collects/teachpack/htdp/guess.rkt" drdr:command-line (gracket "-t" *)
|
||||
"collects/handin-server/overridden-collects/teachpack/htdp/master.rkt" drdr:command-line (gracket "-t" *)
|
||||
"collects/handin-server/overridden-collects/teachpack/htdp/guess.rkt" drdr:command-line (gracket-text "-t" *)
|
||||
"collects/handin-server/overridden-collects/teachpack/htdp/master.rkt" drdr:command-line (gracket-text "-t" *)
|
||||
"collects/handin-server/utils.rkt" drdr:command-line (mzc *)
|
||||
"collects/handin-server/web-status-server.rkt" drdr:command-line (mzc *)
|
||||
"collects/help" responsible (robby)
|
||||
|
|
Loading…
Reference in New Issue
Block a user