share/hedgewars/Data/Names/types.ini
changeset 4207 31e77dcf18fe
parent 3872 110121efe3d2
child 5882 59716ac2fe4d
equal deleted inserted replaced
4206:85ff4cce27c6 4207:31e77dcf18fe