GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-08-17 01:41:09 +03:00
Code Issues Projects Releases Wiki Activity

ignore .vscode

Browse Source
This commit is contained in:
Henry Blanchette 2022-07-07 16:25:41 -07:00
parent 1bdde418f4
commit 6078a3f097
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.gitignore vendored
View File

@ -38,3 +38,5 @@ allfiles.wxs
cryptol.msi
cryptol.wixobj
cryptol.wixpdb
.vscode/