Merge branch 'cw/diff-highlight'
commit18cfb74f31209007e3a960efa594c25abd8a4cac
authorJunio C Hamano <gitster@pobox.com>
Sun, 19 May 2019 07:45:26 +0000 (19 16:45 +0900)
committerJunio C Hamano <gitster@pobox.com>
Sun, 19 May 2019 07:45:26 +0000 (19 16:45 +0900)
tree1151ef8fbcd62c6463f5594e80603dc9e546e44b
parent1294160b27d1c673e4ae8b47eba359a8266a623d
parent6804ba3a58ff2999533af28ca5af3901e30fd1f2
Merge branch 'cw/diff-highlight'

Portability fix for a diff-highlight tool (in contrib/).

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