E5Gui/E5GenericDiffHighlighter.py

branch
maintenance
changeset 5776
49ba4a9f0421
parent 5765
39d8b26ff557
child 6048
82ad8ec9548c
equal deleted inserted replaced
5773:899700885725 5776:49ba4a9f0421

eric ide

mercurial