Hedgewars versioning information, do not modify
rev 9088
hash 41424fca0ef3
