share/hedgewars/Data/Names/types.ini
changeset 12420 e11758f70cce
parent 5882 59716ac2fe4d
child 12501 16220f7bae77
equal deleted inserted replaced
12419:d43ded9a0c34 12420:e11758f70cce