Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ignore
/build
instead of build/
in gitignore
this does two things: 1. allows making `build` a symlink (which is not considered a directory by git, thus removal of trailing `/`). 2. removes the need to special case `rustc_mir_build/src/build` (leading `/` makes git only ignore the `build` in the root)
- Loading branch information