share/hedgewars/Data/Names/types.ini
changeset 10776 56e401fb45ea
parent 5882 59716ac2fe4d
child 12501 16220f7bae77
equal deleted inserted replaced
10774:9f636d902a61 10776:56e401fb45ea