Johannes Schindelin <johannes.schinde...@gmx.de> writes: > The other path category is the paths in the index, which _are_ > case-sensitive, no matter what core.ignoreCase says. > > So I'd rather keep the `fs`.
Sensible. Thanks.
Johannes Schindelin <johannes.schinde...@gmx.de> writes: > The other path category is the paths in the index, which _are_ > case-sensitive, no matter what core.ignoreCase says. > > So I'd rather keep the `fs`.
Sensible. Thanks.