editors/TextViewer.py
changeset 2300 f19788028d99
parent 2177 10aa87518401
child 2409 00d90ab8a462
equal deleted inserted replaced
2299:8df93571af65 2300:f19788028d99