Andrew's git / gitweb.git / diff
?
abspath_part_inside_repo: respect core.ignoreCase
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Fri, 18 Jan 2019 13:24:54 +0000 (05:24 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 18 Jan 2019 17:53:06 +0000 (09:53 -0800)
If the file system is case-insensitive, we really must be careful to
ignore differences in case only.

This fixes https://github.com/git-for-windows/git/issues/735

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
No differences found