mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-10-26 22:29:08 +03:00
organize
This commit is contained in:
parent
6078a3f097
commit
6b59c65afd
2
.gitignore
vendored
2
.gitignore
vendored
@ -10,6 +10,7 @@ dist-newstyle
|
|||||||
.ghc.environment.*
|
.ghc.environment.*
|
||||||
cabal.project.freeze
|
cabal.project.freeze
|
||||||
cabal.project.local*
|
cabal.project.local*
|
||||||
|
.vscode/
|
||||||
|
|
||||||
# don't check in generated documentation
|
# don't check in generated documentation
|
||||||
#docs/CryptolPrims.pdf
|
#docs/CryptolPrims.pdf
|
||||||
@ -39,4 +40,3 @@ cryptol.msi
|
|||||||
cryptol.wixobj
|
cryptol.wixobj
|
||||||
cryptol.wixpdb
|
cryptol.wixpdb
|
||||||
|
|
||||||
.vscode/
|
|
||||||
|
Loading…
Reference in New Issue
Block a user