Hedgewars versioning information, do not modify
rev 10765
hash 31c744824dab
