QPQ-AG/sophia
11
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity

Disable unused type warnings for type used inside of records (#492)

Browse Source 
* Do not show warning for types used in records

* Exclude .vscode in .gitignore

* Update CHANGELOG.md
This commit is contained in:
Gaith Hallak
2023-11-27 12:12:24 +03:00
committed by GitHub
parent 03d6dd6ca2
commit cdbd430f23
5 changed files with 10 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.gitignore
+1
View File
@@ -24,3 +24,4 @@ current_counterexample.eqc
test/contracts/test.aes
__pycache__
.docssite/docs/*.md
.vscode