Ignore new-style cabal files

gilith · gilith · commit e23d0d8ced5c · 2022-08-07T23:11:47.000-07:00
diff --git a/.gitignore b/.gitignore
@@ -1,6 +1,8 @@
 /.cabal-sandbox
+/cabal.project.local*
 /cabal.sandbox.config
 /dist
+/dist-newstyle
 /hol-profile.aux
 /hol-profile.hp
 /hol-profile.pdf
