]> mj.ucw.cz Git - moe.git/history - bin/mo-push-feedback
projects / moe.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Better formatting of pedant output. EV_PEDANT can also set pedant's options.
[moe.git] / bin / mo-push-feedback
2007-07-03 Martin MaresNew script for distribution of feedback. blob | commitdiff | raw
MOE -- A modular contest system