export index.production.min.js

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

Apache License 2.0

158 stars 48 forks source link

Open onriv opened 1 month ago

onriv commented 1 month ago

checking https://www.npmjs.com/package/@leanprover/infoview?activeTab=code, export index.production.min.js rather than export index.development.js for only index.production.min.js in the dist