ignore all .pp.ligo's
This commit is contained in:
parent
78bbf9b044
commit
6fd8f5b4d3
4
.gitignore
vendored
4
.gitignore
vendored
@ -5,9 +5,11 @@ cache/*
|
|||||||
Version.ml
|
Version.ml
|
||||||
/_opam/
|
/_opam/
|
||||||
/*.pp.ligo
|
/*.pp.ligo
|
||||||
|
/*.pp.mligo
|
||||||
|
/*.pp.religo
|
||||||
**/.DS_Store
|
**/.DS_Store
|
||||||
.vscode/
|
.vscode/
|
||||||
/ligo.install
|
/ligo.install
|
||||||
*.coverage
|
*.coverage
|
||||||
/_coverage/
|
/_coverage/
|
||||||
/_coverage_*/
|
/_coverage_*/
|
Loading…
x
Reference in New Issue
Block a user