Tools__TextDiffTool.st
changeset 17946 8ecca5e905bd
parent 14088 318d750ba298
child 15566 184cea584be5
child 18291 126e1b2fc8dc
equal deleted inserted replaced
17945:e5a9fa05e956 17946:8ecca5e905bd