Rename configuration file for better highlighting.

This commit is contained in:
2016-08-20 22:42:53 +02:00
parent 632222ac26
commit 439cd6afe6