add missing dependency

leanprover-community · Mar 3, 2025 · ed4f522 · ed4f522
1 parent 38c28fa
commit ed4f522
Show file tree

Hide file tree

Showing 2 changed files with 295 additions and 7 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -48,6 +48,7 @@
     "remark-math": "^5.1.1",
     "request": "^2.88.2",
     "request-progress": "^3.0.0",
+    "rollup": "^4.34.9",
     "vite": "^4.5.0",
     "vite-plugin-static-copy": "^0.17.0",
     "vite-plugin-svgr": "^4.1.0",