From e9c8338f2eb2d1ac38523f20e6516b8ffd6efadf Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Sat, 2 Apr 2022 08:02:34 -0400 Subject: Add /linters/*/dist-install/ to .gitignore Fixes #21335. [ci skip] --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 86fd8cc3e6..c4b8d5e7aa 100644 --- a/.gitignore +++ b/.gitignore @@ -80,6 +80,7 @@ _darcs/ /libraries/*/dist-install/ /libraries/*/dist-newstyle/ /libraries/dist-haddock/ +/linters/*/dist-install/ /utils/*/dist*/ /compiler/stage1/ /compiler/stage2/ -- cgit v1.2.1