Code

[WIP] Lazy load projects#1957

Code

Open

purkhusid wants to merge 2 commits intoionide:mainionide/ionide-vscode-fsharp:mainfrom purkhusid:lazy-load-projectspurkhusid/ionide-vscode-fsharp:lazy-load-projectsCopy head branch name to clipboard

+49-19

Commits

Commits on Nov 2, 2023

• WIP

  purkhusid

  committed
  3298702

  Copy full SHA for 3298702

Commits on Nov 3, 2023

• WIP

  purkhusid

  committed
  0f51003

  Copy full SHA for 0f51003