GIT-MERGETOOL--LI(category30-tips-tricks-fragen.html) - phpMan

git-mergetool--lib (1) - Common Git merge tool shell scriptlets