share/hedgewars/Data/Names/types.ini
changeset 15137 378efa87f558
parent 12760 528f9752c3fe