Ignore ligo.install
This commit is contained in:
parent
d7bea52d44
commit
8374d4a316
1
.gitignore
vendored
1
.gitignore
vendored
@ -7,3 +7,4 @@ Version.ml
|
|||||||
/*.pp.ligo
|
/*.pp.ligo
|
||||||
**/.DS_Store
|
**/.DS_Store
|
||||||
.vscode/
|
.vscode/
|
||||||
|
/ligo.install
|
||||||
|
Loading…
Reference in New Issue
Block a user