Merge branch 'master' into better-md-render

leanprover · Oct 15, 2024 · f27b43e · f27b43e
2 parents 603b314 + 4fa4093
commit f27b43e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lean4-infoview/package.json b/lean4-infoview/package.json
@@ -9,8 +9,8 @@
         "test": "tsc -p test/tsconfig.json"
     },
     "exports": {
-        ".": "./dist/index.development.js",
-        "./loader": "./dist/loader.development.js",
+        ".": "./dist/index.production.min.js",
+        "./loader": "./dist/loader.production.min.js",
         "./package.json": "./package.json"
     },
     "typesVersions": {