diff --git a/.gitignore b/.gitignore
index 5955142ad..8a7ab828c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,4 @@
 *.o
 .merlin
 
+.vscode
\ No newline at end of file
diff --git a/Lama.opam b/Lama.opam
index de96fb88d..26f001466 100644
--- a/Lama.opam
+++ b/Lama.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "1.10"
+version: "1.20"
 
 synopsis:    "Lama programming system"
 maintainer:  "dboulytchev@gmail.com"