Rename student to student.txt

This commit is contained in:
JensYvanDeCraecker 2017-08-03 19:07:29 +02:00 committed by GitHub
parent e4bea16316
commit 49a98bd3a3