Johannes Schindelin <Johannes.Schindelin@xxxxxx> 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.Schindelin@xxxxxx> 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.