diff --git a/.gitignore b/.gitignore index 74d13a58ff..67a884c18b 100644 --- a/.gitignore +++ b/.gitignore @@ -40,7 +40,7 @@ cabal.project.local cabal.project.local~ .HTF/ .ghc.environment.* -.cabal +*.cabal stack.yaml.lock # Idris