[ new ] Bump and release v0.4.4

banacorn · Dec 3, 2023 · db08ac9 · db08ac9
1 parent a67995f
commit db08ac9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package.json b/package.json
@@ -4,7 +4,7 @@
 	"description": "agda-mode on vscode",
 	"icon": "asset/logo.png",
 	"publisher": "banacorn",
-	"version": "0.4.3",
+	"version": "0.4.4",
 	"engines": {
 		"vscode": "^1.74.0"
 	},