diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-01-18 05:24:54 -0800 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2019-01-18 09:53:06 -0800 |
| commit | d8727b3687c1d249e84be71a581cc1fb0581336a (patch) | |
| tree | 02bf4c77ad36d0cec37af52ce94fe6a50c9a8fe3 /Documentation | |
| parent | Second batch after 2.20 (diff) | |
| download | tgif-d8727b3687c1d249e84be71a581cc1fb0581336a.tar.xz | |
abspath_part_inside_repo: respect core.ignoreCase
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>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions