Paul Chote 13f5ef50b9 Fix production tooltip padding.

2018-12-08 15:32:58 +01:00

..

dropdowns.yaml

…

ingame-infostats.yaml

…

ingame-menu.yaml

…

ingame-player.yaml

…

lobby-players.yaml

…

mainmenu.yaml

…

missionbrowser.yaml

…

multiplayer-browserpanels.yaml

…

tooltips.yaml

Fix production tooltip padding.

2018-12-08 15:32:58 +01:00