language/english/tools.json
changeset 507 586fd7d3202d
parent 426 f5718d7c2a6a
child 541 acb7e23b6ffa
equal deleted inserted replaced
506:da0f2a76add5 507:586fd7d3202d