.gitignore · 13df99a730622a02540f855675766ca4d053128c · Oleg Grenrus / GHC · GitLab

Oct 21, 2022
d51bf7bd
git: ignore HIE files. · d51bf7bd
M Farkas-Dyck authored Oct 21, 2022 and Marge Bot committed Nov 03, 2022
```
Cleans up git status if one sets -fwrite-ide-info in hadrian/ghci.
```
d51bf7bd
git: ignore HIE files.
M Farkas-Dyck authored Oct 21, 2022 and Marge Bot committed Nov 03, 2022
```
Cleans up git status if one sets -fwrite-ide-info in hadrian/ghci.
```