[Warzone2100-commits] [Warzone2100/warzone2100] 4b9d76: Hack around buildbot having too old SDL for now

2018-01-28 Thread Per Inge Mathisen
Branch: refs/heads/resizing_high_dpi_work Home: https://github.com/Warzone2100/warzone2100 Commit: 4b9d76aa901fd19ffd29b50b1f3c04ab22e49b23 https://github.com/Warzone2100/warzone2100/commit/4b9d76aa901fd19ffd29b50b1f3c04ab22e49b23 Author: Per Inge Mathisen Date: 2018-01-28 (Su

[Warzone2100-commits] [Warzone2100/warzone2100] 413a21: Fixes #4720: Display scaling, live window resizing...

2018-01-28 Thread past-due
Branch: refs/heads/resizing_high_dpi_work Home: https://github.com/Warzone2100/warzone2100 Commit: 413a2199acc48394f12e1e59b113c869c20018ad https://github.com/Warzone2100/warzone2100/commit/413a2199acc48394f12e1e59b113c869c20018ad Author: past-due <30942300+past-...@users.noreply.g

[Warzone2100-commits] [Warzone2100/warzone2100]

2018-01-28 Thread Forgon2100
Branch: refs/heads/master Home: https://github.com/Warzone2100/warzone2100 -- Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot

[Warzone2100-commits] [Warzone2100/warzone2100] cef6b6: fixes #4723: increase capacity of design, build an...

2018-01-28 Thread Forgon2100
Branch: refs/heads/master Home: https://github.com/Warzone2100/warzone2100 Commit: cef6b6a5a570bb3d26e8fff60377b2706aec80a6 https://github.com/Warzone2100/warzone2100/commit/cef6b6a5a570bb3d26e8fff60377b2706aec80a6 Author: Forgon2100 Date: 2018-01-28 (Sun, 28 Jan 2018) Chan