Edit: git-mergetool--lib