editors/TextViewer.py
changeset 2341 210cddfa16cf
parent 2177 10aa87518401
child 2409 00d90ab8a462
equal deleted inserted replaced
2302:69fefac5760e 2341:210cddfa16cf