chore: bump infoview minor version (#563)

leanprover · Jan 8, 2025 · 62107a6 · 62107a6
1 parent 9efc61b
commit 62107a6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lean4-infoview/package.json b/lean4-infoview/package.json
@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/infoview",
-    "version": "0.7.9",
+    "version": "0.7.10",
     "description": "An interactive display for the Lean 4 theorem prover.",
     "scripts": {
         "watch": "rollup --config --environment NODE_ENV:development --watch",

diff --git a/package-lock.json b/package-lock.json