Johannes Schindelin <[email protected]> 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 <[email protected]> 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.