tree 1151ef8fbcd62c6463f5594e80603dc9e546e44b
parent 1294160b27d1c673e4ae8b47eba359a8266a623d
parent 6804ba3a58ff2999533af28ca5af3901e30fd1f2
author Junio C Hamano <gitster@pobox.com> 1558251926 +0900
committer Junio C Hamano <gitster@pobox.com> 1558251926 +0900

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