TextViewer.py
changeset 525 e8d5ab0855d3
parent 523 99ba2e3949ed
child 543 2f660878c2a7
equal deleted inserted replaced
524:9a5fa6679a94 525:e8d5ab0855d3