share/hedgewars/Data/Names/types.ini
changeset 12212 ea891871f481
parent 5882 59716ac2fe4d
child 12496 16220f7bae77