mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-22 05:45:51 +03:00
Fix .gitignore update.
This commit is contained in:
parent
2df7ce1126
commit
1fc277415d
3
.gitignore
vendored
3
.gitignore
vendored
@ -11,5 +11,6 @@
|
||||
/dist-newstyle/
|
||||
/TAGS
|
||||
/**/tests/samples/*.last-actual
|
||||
/**/tests/samples/*.s_darcs
|
||||
/**/tests/samples/*.s
|
||||
_darcs
|
||||
.boring
|
||||
|
Loading…
Reference in New Issue
Block a user