update infoview npm package

Closes #13
leanprover-community · Dec 7, 2023 · d139f04 · d139f04
1 parent 75f7081
commit d139f04
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -11,7 +11,7 @@
     "@fortawesome/fontawesome-svg-core": "^6.2.0",
     "@fortawesome/free-solid-svg-icons": "^6.2.0",
     "@fortawesome/react-fontawesome": "^0.2.0",
-    "@leanprover/infoview": "^0.4.3",
+    "@leanprover/infoview": "^0.4.4",
     "@mui/material": "^5.13.7",
     "@vitejs/plugin-react-swc": "^3.4.0",
     "express": "^4.18.2",