Severin Glöckner 098ea67d82 NR: correct file extension ...

Found by Debian's Lintian.
[ci skip]

2020-05-19 13:49:54 +02:00

..

ai

…

campaigns

NR: correct file extension

2020-05-19 13:49:54 +02:00

core

updated Polish translation credits

2020-05-13 22:00:16 +02:00

gui

Modify GUI2 config files to scale font size with screen pixel pitch

2020-05-16 15:01:01 -05:00

hardwired

…

languages

…

lua

Fix typo in deprecation message

2020-04-21 11:13:36 +02:00

multiplayer

Remove tags without effect

2020-05-05 17:59:48 +02:00

schema

Modify GUI2 config files to scale font size with screen pixel pitch

2020-05-16 15:01:01 -05:00

test

…

themes

…

tools

…

_main.cfg

…

advanced_preferences.cfg

…

COPYING.txt

…

cores.cfg

…

english.cfg

…

game_config.cfg

…

lan_server.cfg

…

scenario-leaders.cfg

…

scenario-movethrough.cfg

…

scenario-story.cfg

…

scenario-test.cfg

…

tips.cfg

…