]> mj.ucw.cz Git - eval.git/history - mop/admin/mo-push-feedback.sh
projects / eval.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge commit '700824d3e9bce9219819e4e5096ab94da301d44b' from branch bernard/master
[eval.git] / mop / admin / mo-push-feedback.sh
2008-05-25 Martin MaresClean up backup, grab and push scripts. blob | commitdiff | raw
2008-05-25 Martin MaresSplit mop/ to several subdirectories: admin, eval,... blob | commitdiff | raw | diff to current
MOE -- A modular contest system