##// 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