share/hedgewars/Data/Scripts/Multiplayer/HedgeEditor.cfg
author unc0rr
Tue, 23 Feb 2016 13:45:49 +0300
changeset 11574 294ce0fa65d0
parent 11037 599bb42d7448
child 12263 41af2274953d
permissions -rw-r--r--
Dump best time ghost on console
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
11037
599bb42d7448 HedgeEditor (bring on the bug reports, wahey!)
mikade <redgrinner@gmail.com>
parents:
diff changeset
     1
Default
599bb42d7448 HedgeEditor (bring on the bug reports, wahey!)
mikade <redgrinner@gmail.com>
parents:
diff changeset
     2
Default