Fixing DrDr props on handin

This commit is contained in:
Jay McCarthy 2010-09-17 10:20:06 -06:00
parent fcdfefea10
commit c1c1461596

View File

@ -890,6 +890,8 @@ path/s is either such a string or a list of them.
"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/utils.rkt" drdr:command-line (mzc *)
"collects/handin-server/web-status-server.rkt" drdr:command-line (mzc *)
"collects/help" responsible (robby)