##// END OF EJS Templates
mergetools: rename 'base' to 'merged' in meld...
mergetools: rename 'base' to 'merged' in meld This makes it clear which panel is the target of the merge operation.
ronvoe12249 -
r18972:3de9b1f9 default
Show More
Name Size Modified Last Commit Author
/ hgext / highlight
__init__.py Loading ...
highlight.py Loading ...