Hedgewars versioning information, do not modify
rev 9903
hash 9d79a52c5586
