share/hedgewars/Data/Scripts/Multiplayer/HedgeEditor.cfg
changeset 12417 f6fc84c55bfa
parent 12258 41af2274953d