mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-12-01 08:32:23 +03:00
17 lines
247 B
Plaintext
17 lines
247 B
Plaintext
|
*.pyc
|
||
|
|
*\#*
|
||
|
|
*~
|
||
|
|
.DS_Store
|
||
|
|
.cabal-sandbox
|
||
|
|
cabal.sandbox.config
|
||
|
|
dist
|
||
|
|
results.xml
|
||
|
|
|
||
|
|
# don't check in generated documentation
|
||
|
|
docs/Cryptol.pdf
|
||
|
|
docs/CryptolPrims.pdf
|
||
|
|
docs/Syntax.pdf
|
||
|
|
docs/Version2Changes.pdf
|
||
|
|
|
||
|
|
# don't check in distribution files
|
||
|
|
cryptol-2.*
|