Merge pull request #1762 from GaloisInc/gitignore_upd_kwq1

Add additional directories and files to .gitignore
GaloisInc · Oct 28, 2024 · 876e97a · 876e97a
2 parents b74e5a6 + e1dd3d0
commit 876e97a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -11,6 +11,8 @@ dist-newstyle
 cabal.project.freeze
 cabal.project.local*
 .vscode/
+_darcs/
+.boring
 
 # artifacts of the setup script
 dev_setup.log