language/english/tools.json
changeset 513 c15fbf197a54
parent 426 f5718d7c2a6a
child 541 acb7e23b6ffa
equal deleted inserted replaced
512:13532b0a223f 513:c15fbf197a54