[ new ] Prerelease v0.7.9

Author: banacorn

package.json

@@ -4,7 +4,7 @@
 	"description": "agda-mode on vscode",
 	"icon": "asset/logo.png",
 	"publisher": "banacorn",
-	"version": "0.6.6",
+	"version": "0.7.9",
 	"engines": {
 		"vscode": "^1.94.0"
 	},