Skip to content

Cleanup before adding external grader - #258

Merged
rocha merged 2 commits into
masterfrom
rocha/pre-external-grader-cleanup
Jun 25, 2013
Merged

Cleanup before adding external grader#258
rocha merged 2 commits into
masterfrom
rocha/pre-external-grader-cleanup

Commits

Commits on Jun 25, 2013