mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-28 08:34:23 +03:00
8aefd5224f
Combined .gitignore rules and merged .gitmodules as the concatenation of the individual .gitmodules; this will result in duplicate submodules which will be resolved in a subsequent commit.
13 lines
158 B
Plaintext
13 lines
158 B
Plaintext
*.o
|
|
*~
|
|
*.hi
|
|
dist/
|
|
dist-newstyle/
|
|
cabal.sandbox.config
|
|
.cabal-sandbox
|
|
.stack-work/
|
|
TAGS
|
|
.ghc.environment.*
|
|
**/tests/samples/*.last-actual
|
|
**/tests/samples/*.s
|