Merge pull request #332 from coq-community/v0_3_7

bump to 0.3.7
coq · Jan 11, 2023 · 4b9197e · 4b9197e
2 parents 1cba85c + bdbba90
commit 4b9197e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package.json b/package.json
@@ -7,7 +7,7 @@
     "email": "siegebell@gmail.com",
     "url": "http://people.csail.mit.edu/cj/"
   },
-  "version": "0.3.6",
+  "version": "0.3.7",
   "publisher": "maximedenes",
   "license": "MIT",
   "icon": "images/logo.png",