Hedgewars versioning information, do not modify
rev 12836
hash 8610462e3d33
