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)
M
Maybe Lapkin committed
33f13f2ab575bb9d702217f25b9ea45fc527bbf2
Parent: c52d952