share/hedgewars/Data/Names/types.ini
changeset 4213 3875481fcc86
parent 3872 110121efe3d2
child 5882 59716ac2fe4d
equal deleted inserted replaced
4211:7dcbd236ca59 4213:3875481fcc86