rename extension files to start with capital letters, no functionality change

This commit is contained in:
tibbi 2017-12-03 21:56:11 +01:00
parent ac70922cc8
commit 539d6ee16d
7 changed files with 1 additions and 1 deletions