bash prompt: print unique detached HEAD abbreviated object name
[git] / mergetools / gvimdiff
1 . "$MERGE_TOOLS_DIR/vimdiff"