[Warzone2100-commits] [Warzone2100/warzone2100] bf5834: Do not update autorevision.h's time stamp if the c...

2013-01-03 Thread automerge
Branch: refs/heads/3.1 Home: https://github.com/Warzone2100/warzone2100 Commit: bf5834bb480b86df460c3510895541eed62a1bbb https://github.com/Warzone2100/warzone2100/commit/bf5834bb480b86df460c3510895541eed62a1bbb Author: dak180 Date: 2013-01-03 (Thu, 03 Jan 2013) Changed pat

[Warzone2100-commits] [Warzone2100/warzone2100] bf5834: Do not update autorevision.h's time stamp if the c...

2013-01-03 Thread automerge
Branch: refs/heads/master Home: https://github.com/Warzone2100/warzone2100 Commit: bf5834bb480b86df460c3510895541eed62a1bbb https://github.com/Warzone2100/warzone2100/commit/bf5834bb480b86df460c3510895541eed62a1bbb Author: dak180 Date: 2013-01-03 (Thu, 03 Jan 2013) Changed

[Warzone2100-commits] [Warzone2100/warzone2100] bf5834: Do not update autorevision.h's time stamp if the c...

2013-01-03 Thread dak180
Branch: refs/heads/bugfixes Home: https://github.com/Warzone2100/warzone2100 Commit: bf5834bb480b86df460c3510895541eed62a1bbb https://github.com/Warzone2100/warzone2100/commit/bf5834bb480b86df460c3510895541eed62a1bbb Author: dak180 Date: 2013-01-03 (Thu, 03 Jan 2013) Change