fix: bundle moogleview static folder - Githubissues

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

Apache License 2.0

170 stars 49 forks source link

fix: bundle moogleview static folder #536

Closed mhuisi closed 1 month ago