mirror of
https://github.com/git/git.git
synced 2026-03-19 13:10:05 +01:00
* maint: difftool: provide basename to external tools git-difftool.txt: correct the description of $BASE and describe $MERGED
3.6 KiB
3.6 KiB