Code

Update packaging tooling versions#338

Code

Merged

mhuisi merged 1 commit intoleanprover:masterleanprover/vscode-lean4:masterfrom mhuisi:mhuisi/update-packaging-versionsmhuisi/vscode-lean4:mhuisi/update-packaging-versionsCopy head branch name to clipboardOct 18, 2023

+203-343

Commits

Commits on Oct 18, 2023

• chore: update packaging tooling versions

  mhuisi

  committed
  4cfe90c

  Copy full SHA for 4cfe90c