GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-11-28 21:35:05 +03:00
Code Issues Projects Releases Wiki Activity

Add darcs and emacs backups to .gitignore.

Browse Source
This commit is contained in:
Kevin Quick 2021-04-19 15:57:15 -07:00
parent bb38b0ccc7
commit 62f338d838
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.gitignore vendored
View File

@ -13,3 +13,6 @@ stack.yaml
cabal.project.local
*.tix
.ghc.environment.*
_darcs
*~
.boring