Hedgewars versioning information, do not modify
rev 9144
hash d8a0a7e42b73
