From 8590494f8a5345990cf6113da2a7c644d3bc3cf3 Mon Sep 17 00:00:00 2001
From: MarkusEllyton <markusellyton@gmail.com>
Date: Wed, 18 Sep 2024 20:59:08 +0200
Subject: [PATCH] Bump version to 1.4.0-beta.13

---
 CHANGELOG.md | 4 ++++
 package.json | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index c5aee84..0e8ae66 100644
--- 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
index 79d98ff..9999a16 100644
--- 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",