Andrew's git / gitweb.git / diff
?
Merge branch 'cw/diff-highlight'
authorJunio C Hamano <gitster@pobox.com>
Sun, 19 May 2019 07:45:26 +0000 (16:45 +0900)
committerJunio C Hamano <gitster@pobox.com>
Sun, 19 May 2019 07:45:26 +0000 (16:45 +0900)
Portability fix for a diff-highlight tool (in contrib/).

* cw/diff-highlight:
diff-highlight: use correct /dev/null for UNIX and Windows

Trivial merge