Bump version to 1.4.0-beta.13

overturetool · Sep 18, 2024 · 8590494 · 8590494
1 parent cb81238
commit 8590494
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,7 @@
+### 1.4.0-beta.13
+- Change extension configuration of VDMJ release to be an enumration of "vdm10" and "classic"
+- Add workspace settings.json to all classic examples
+
 ### 1.4.0-beta.12
 - Add extension configuration to enable VDM classic release.
 - Change PO view title to also include file name if PO generation was run on a single file, as opposed to the entire workspace folder.

diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
     "name": "vdm-vscode",
-    "version": "1.4.0-beta.12",
+    "version": "1.4.0-beta.13",
     "publisher": "overturetool",
     "engines": {
         "vscode": "^1.64.0",