From a78bbaee3f328c938a37a0fefa60299d024769fd Mon Sep 17 00:00:00 2001 From: Danya Berezun Date: Mon, 4 Sep 2023 21:46:09 +0200 Subject: [PATCH] upd --- .gitignore | 1 + Lama.opam | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) 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"