share/hedgewars/Data/Names/types.ini
branchhedgeroid
changeset 6230 de1e43054017
parent 5882 59716ac2fe4d
child 12501 16220f7bae77
equal deleted inserted replaced
6228:1b7d4d7d162b 6230:de1e43054017