Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This makes sure that Git's idea of the current working directory matches what is recorded on disk (which should be the same as Git's idea). This helps in particular PowerShell users where the current working directory can differ in case from what's stored on disk. Signed-off-by: Johannes Schindelin <[email protected]>
- Loading branch information