[Warzone2100-commits] [Warzone2100/warzone2100] c8431a: Update base translations

2022-07-04 Thread github-actions[bot] via Warzone2100-commits
Branch: refs/heads/update_base_translations Home: https://github.com/Warzone2100/warzone2100 Commit: c8431aebdd55d93593a8e11c0efbd861a49006b7 https://github.com/Warzone2100/warzone2100/commit/c8431aebdd55d93593a8e11c0efbd861a49006b7 Author: github-actions[bot] <41898282+github-act

[Warzone2100-commits] [Warzone2100/warzone2100] 21046e: GUI polish (skirmish player list) (#2747)

2022-07-04 Thread Maxim Zhuchkov via Warzone2100-commits
Branch: refs/heads/master Home: https://github.com/Warzone2100/warzone2100 Commit: 21046e5e4c2e869a79663d9269bf0c9ee49742ca https://github.com/Warzone2100/warzone2100/commit/21046e5e4c2e869a79663d9269bf0c9ee49742ca Author: Maxim Zhuchkov Date: 2022-07-04 (Mon, 04 Jul 2022)

[Warzone2100-commits] [Warzone2100/warzone2100] faf361: Update base translations

2022-07-04 Thread github-actions[bot] via Warzone2100-commits
Branch: refs/heads/update_base_translations Home: https://github.com/Warzone2100/warzone2100 Commit: faf361887ada8cfa7d08395fe21164f2017fedbe https://github.com/Warzone2100/warzone2100/commit/faf361887ada8cfa7d08395fe21164f2017fedbe Author: github-actions[bot] <41898282+github-act

[Warzone2100-commits] [Warzone2100/warzone2100] 05ae22: Make sliders pretty

2022-07-04 Thread Maxim Zhuchkov via Warzone2100-commits
Branch: refs/heads/master Home: https://github.com/Warzone2100/warzone2100 Commit: 05ae22acc976c2cb1438ecd5cd9868a75a51555c https://github.com/Warzone2100/warzone2100/commit/05ae22acc976c2cb1438ecd5cd9868a75a51555c Author: maxsupermanhd Date: 2022-07-04 (Mon, 04 Jul 2022) C