mirror of
https://github.com/GaloisInc/what4.git
synced 2024-11-25 07:13:59 +03:00
19 lines
202 B
Plaintext
19 lines
202 B
Plaintext
/build/
|
|
.cabal-sandbox
|
|
.stack-work
|
|
**/cabal.config
|
|
cabal.sandbox.config
|
|
dist
|
|
TAGS
|
|
unitTest.tix
|
|
hpc_report
|
|
stack.yaml
|
|
/dist-newstyle
|
|
.*.swp
|
|
cabal.project.local
|
|
*.tix
|
|
.ghc.environment.*
|
|
_darcs
|
|
*~
|
|
.boring
|