Rename source_grader.py to source_verifier.py

This commit is contained in:
Michael Zhang 2017-03-15 11:30:44 -05:00 committed by GitHub
parent a38fe1310b
commit 13bea1f4cd