diff-highlight: exit when a pipe is broken
[gitweb.git] / contrib / diff-highlight /
drwxr-xr-x   parent (dest: contrib; base: 251e7dad517bd369387c4dedfe77b380f025e0f3)
-rw-r--r-- 5343 README
-rwxr-xr-x 3965 diff-highlight