diff --git a/.gitignore b/.gitignore index 0147c137..94ff062f 100644 --- a/.gitignore +++ b/.gitignore @@ -5,6 +5,8 @@ cabal.sandbox.config dist results.xml +dist-newstyle +.stack-work # don't check in generated documentation #docs/CryptolPrims.pdf