[Warzone2100-commits] [Warzone2100/warzone2100] c5117b: Fix visibility issues in campaign.

Branch: refs/heads/3.1 Home: https://github.com/Warzone2100/warzone2100 Commit: c5117b0adb7bc1329df91ae170c19af2e2fffb4b https://github.com/Warzone2100/warzone2100/commit/c5117b0adb7bc1329df91ae170c19af2e2fffb4b Author: vexed Date: 2016-04-10 (Sun, 10 Apr

[Warzone2100-commits] [Warzone2100/warzone2100] d40be8: Update ChangeLog for 3.1.5

Branch: refs/heads/3.1 Home: https://github.com/Warzone2100/warzone2100 Commit: d40be86c09369379066328403e96ade9d1e3b39e https://github.com/Warzone2100/warzone2100/commit/d40be86c09369379066328403e96ade9d1e3b39e Author: vexed Date: 2016-04-10 (Sun, 10 Apr

[Warzone2100-commits] [Warzone2100/warzone2100] 0538f8: ** This will be reverted after tag is made. (ignor...

Branch: refs/heads/3.1 Home: https://github.com/Warzone2100/warzone2100 Commit: 0538f820b667f3ad93699bebd4710674d8b8b07c https://github.com/Warzone2100/warzone2100/commit/0538f820b667f3ad93699bebd4710674d8b8b07c Author: vexed Date: 2016-04-10 (Sun, 10 Apr

[Warzone2100-commits] [Warzone2100/warzone2100] 7c61dc: Revert "** This will be reverted after tag is made...

Branch: refs/heads/3.1 Home: https://github.com/Warzone2100/warzone2100 Commit: 7c61dcdb22a8fdeffbe03a017579293740bec5fc https://github.com/Warzone2100/warzone2100/commit/7c61dcdb22a8fdeffbe03a017579293740bec5fc Author: vexed Date: 2016-04-10 (Sun, 10 Apr