language/english/tools.json
changeset 807 34e8bf0f25e1
parent 590 03a60844c7c5
child 832 7152ca0a0ce9
equal deleted inserted replaced
806:543c05f86303 807:34e8bf0f25e1