share/hedgewars/Data/Maps/portal/map.cfg
author koda
Sat, 04 Jan 2014 02:18:57 +0100
branch0.9.20
changeset 9905 ec0d9f737449
parent 7904 4f338a9ea76d
child 13262 2877c1ec5877
permissions -rw-r--r--
have revinfo also try to pick up git hashes

Eyes
48