Hedgewars versioning information, do not modify
rev 15451
hash 3102d95a870e
