]> git.rmz.io Git - dotfiles.git/commitdiff
git: use Gdiffsplit! for mergetool
authorSamir Benmendil <samir.benmendil@ultrahaptics.com>
Sat, 27 Jul 2019 21:04:36 +0000 (22:04 +0100)
committerSamir Benmendil <me@rmz.io>
Sat, 27 Jul 2019 21:08:05 +0000 (22:08 +0100)

No differences found