Rename edu to edu.txt

This commit is contained in:
Charlie Jarl 2016-08-10 12:01:32 +02:00 committed by GitHub
parent 87b0f6af34
commit 8f0b5949e8