E5Gui/E5GenericDiffHighlighter.py

branch
maintenance
changeset 5681
be30320a29bc
parent 5597
3d88d53f8c2b
child 5765
39d8b26ff557
equal deleted inserted replaced
5680:b93cb6353cc0 5681:be30320a29bc

eric ide

mercurial