.gitignore · dcf30da8ff3ddcea9db3369870039f1b2c5d7b2c · James Haydon / GHC · GitLab

Apr 02, 2022
5ece5c5a
Add /linters/*/dist-install/ to .gitignore · 5ece5c5a
Ryan Scott authored Apr 02, 2022 and Marge Bot committed Apr 06, 2022
```
Fixes #21335.

[ci skip]
```
5ece5c5a
Add /linters/*/dist-install/ to .gitignore
Ryan Scott authored Apr 02, 2022 and Marge Bot committed Apr 06, 2022
```
Fixes #21335.

[ci skip]
```