var doc: advertise current DEFAULT_PAGER and DEFAULT_EDITOR settings
[git] / contrib / diff-highlight /
drwxr-xr-x   ..
-rw-r--r-- 2519 README
-rwxr-xr-x 2583 diff-highlight