Rename mayor.cl to mayor.txt

This commit is contained in:
Philip Torchinsky 2016-12-20 00:42:23 +02:00 committed by GitHub
parent 97100ad7e7
commit 39d88f63b6