diff --git a/.gitignore b/.gitignore index 5794afd17..fb756e969 100644 --- a/.gitignore +++ b/.gitignore @@ -6,4 +6,5 @@ Version.ml /_opam/ /*.pp.ligo **/.DS_Store -.vscode/ \ No newline at end of file +.vscode/ +/ligo.install