notes-merge: Don't remove .git/NOTES_MERGE_WORKTREE; it may be the user's cwd
[git] / contrib / diff-highlight /
drwxr-xr-x   ..
-rw-r--r-- 2519 README
-rwxr-xr-x 2583 diff-highlight