Code

Update buttons for type decls#24

Code

Merged

daniel-larraz merged 1 commit intokind2-mc:mainkind2-mc/vscode-kind2:mainfrom lorchrob:type-decl-buttonslorchrob/vscode-kind2:type-decl-buttonsCopy head branch name to clipboardJun 19, 2024

+55-16

Commits

Commits on Jun 11, 2024

• Update buttons for type decls

  lorchrob

  committed
  eb9a4b5