Code

fix: update npm packages#358

Code

Merged

mhuisi merged 5 commits intoleanprover:masterleanprover/vscode-lean4:masterfrom hhu-adam:update-axiosCopy head branch name to clipboardNov 17, 2023

+154-165

Commits

Commits on Nov 16, 2023

• update dependencies of vscode-lean4

  joneugster

  committed
  0dfed15

• deleting package-lock before building recreates them differently

  joneugster

  committed
  6a7c902

Commits on Nov 17, 2023

• revert all package-locks

  joneugster

  committed
  2cf7bfd

• try again to create package-lock

  joneugster

  committed
  d4a086e

• better now?

  joneugster

  committed
  c13ae99