bash: teach __git_ps1 about REVERT_HEAD
[git] / mergetools / gvimdiff
1 . "$MERGE_TOOLS_DIR/vimdiff"