[Warzone2100-commits] [Warzone2100/warzone2100] fa67c4: Make the FetchPrebuilt script smarter about replac...

2012-03-29 Thread dak180
Branch: refs/heads/bugfixes Home: https://github.com/Warzone2100/warzone2100 Commit: fa67c45c0d7f0170e03563b5dc2cab5443250537 https://github.com/Warzone2100/warzone2100/commit/fa67c45c0d7f0170e03563b5dc2cab5443250537 Author: dak180 Date: 2012-03-29 (Thu, 29 Mar 2012) Change

[Warzone2100-commits] [Warzone2100/warzone2100] 451201: Fix border on tooltips

2012-03-29 Thread cybersphinx
Branch: refs/heads/3.1 Home: https://github.com/Warzone2100/warzone2100 Commit: 451201e89a076cc5e839c126921bc1929b555b5e https://github.com/Warzone2100/warzone2100/commit/451201e89a076cc5e839c126921bc1929b555b5e Author: vexed Date: 2012-03-23 (Fri, 23 Mar 2012) Changed path

[Warzone2100-commits] [Warzone2100/warzone2100] fad926: Actually use the include from our included quesogl...

2012-03-29 Thread automerge
Branch: refs/heads/master Home: https://github.com/Warzone2100/warzone2100 Commit: fad926f03bf05e2fda409930156753cde1c5c52a https://github.com/Warzone2100/warzone2100/commit/fad926f03bf05e2fda409930156753cde1c5c52a Author: cybersphinx Date: 2012-03-28 (Wed, 28 Mar 2012) Cha