0.12.0

FStarLang · Aug 22, 2024 · 3276b98 · 3276b98
1 parent e91b456
commit 3276b98
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -3,7 +3,7 @@
 	"description": "An interactive editing mode for F*",
 	"author": "Microsoft Corporation",
 	"license": "MIT",
-	"version": "0.11.0",
+	"version": "0.12.0",
 	"repository": {
 		"type": "git",
 		"url": "https://github.com/FStarLang/fstar-vscode-assistant"
@@ -154,4 +154,4 @@
 		"eslint": "^8.57.0",
 		"typescript": "^5.4.5"
 	}
-}
+}