share/hedgewars/Data/Names/types.ini
branchhedgeroid
changeset 15520 de08a3ae4f8d
parent 12760 528f9752c3fe