configs: Correct four non-standard filenames

These non-standard filenames have no effect on the build, but should
still be fixed since they could be confusing (to people and scripts).

Signed-off-by: Paul Bolle <pebolle@tiscali.nl>
This commit is contained in:
Paul Bolle 2019-01-12 18:37:42 +01:00 committed by Laura Abbott
parent 25e04032c6
commit 86228cf5f3
4 changed files with 0 additions and 0 deletions