chore: version of devtool increased

morfeojs · Oct 30, 2021 · 1b3bc72 · 1b3bc72
1 parent ba9e9d6
commit 1b3bc72
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/devtool/public/manifest.firefox.json b/devtool/public/manifest.firefox.json
@@ -1,6 +1,6 @@
 {
   "name": "__MSG_name__",
-  "version": "0.3.0",
+  "version": "0.3.1",
   "description": "__MSG_description__",
   "short_name": "morfeo",
   "author": "Mauro Erta",

diff --git a/devtool/public/manifest.json b/devtool/public/manifest.json
@@ -1,7 +1,7 @@
 {
   "manifest_version": 3,
   "name": "__MSG_name__",
-  "version": "0.3.0",
+  "version": "0.3.1",
   "description": "__MSG_description__",
   "author": "Mauro Erta",
   "devtools_page": "devtool.html",