Set up merge tool and improve diffs
* Use vimdiff2 for git mergetool * Use patience diff algorithm for diff and merge
This commit is contained in:
parent
9d77e3e058
commit
347b263fd6
Loading…
x
Reference in New Issue
Block a user