0.3.5

coq · Jun 14, 2021 · 6a5eec9 · 6a5eec9
1 parent e655974
commit 6a5eec9
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -7,7 +7,7 @@
     "email": "[email protected]",
     "url": "http://people.csail.mit.edu/cj/"
   },
-  "version": "0.3.4",
+  "version": "0.3.5",
   "publisher": "maximedenes",
   "license": "MIT",
   "icon": "images/logo.png",