mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-17 01:41:09 +03:00
gitignore src/Cryptol/Parser.hs
This commit is contained in:
parent
c1812dfa61
commit
d58d1cdd53
2
.gitignore
vendored
2
.gitignore
vendored
@ -40,3 +40,5 @@ cryptol.msi
|
||||
cryptol.wixobj
|
||||
cryptol.wixpdb
|
||||
|
||||
# happy-generated files
|
||||
src/Cryptol/Parser.hs
|
Loading…
Reference in New Issue
Block a user