share/hedgewars/Data/Locale/tips_en.xml
branchui-scaling
changeset 13386 72bbccf9a715
parent 12696 975639969f83
child 13512 36f3f77e9b1b
equal deleted inserted replaced
13385:ec1491bb5acc 13386:72bbccf9a715