Code

Support Multiple Open Frege Files#34

Code

Merged

tricktron merged 1 commit intomaintricktron/frege-lsp-server:mainfrom f-support-multiple-open-filestricktron/frege-lsp-server:f-support-multiple-open-filesCopy head branch name to clipboardJul 30, 2022

+46-52

Commits

Commits on Jul 30, 2022

• feat: support multiple open frege files

  Show description for 1831f16
  tricktron

  committed
  1831f16