cryptol/.gitignore

27 lines
486 B
Plaintext
Raw Normal View History

2014-04-18 02:34:25 +04:00
*\#*
*~
.DS_Store
.cabal-sandbox
cabal.sandbox.config
dist
results.xml
dist-newstyle
.stack-work
2018-12-12 03:16:39 +03:00
.ghc.environment.*
2014-04-18 02:34:25 +04:00
# don't check in generated documentation
#docs/CryptolPrims.pdf
#docs/ProgrammingCryptol.pdf
#docs/Syntax.pdf
#docs/Version2Changes.pdf
2014-04-18 02:34:25 +04:00
# don't check in distribution files
cryptol-2.*
# temporary notebook stuff until we split out the repo
/ICryptol/ICryptol-2.*
/ICryptol/profile.tar
/ICryptol/profile_cryptol/security/
/ICryptol/profile_cryptol/startup/
/bench*.xml