Code

Upgraded to updated rascal logo#352

Code

Merged

DavyLandman merged 2 commits intomainusethesource/rascal-language-servers:mainfrom new-rascal-logousethesource/rascal-language-servers:new-rascal-logoCopy head branch name to clipboardFeb 6, 2024

+45-22

Commits

Commits on Feb 5, 2024

• Upgraded to updated rascal logo

  DavyLandman

  committed
  ece00ab

  Copy full SHA for ece00ab

Commits on Feb 6, 2024

• Defined banner background in VS Code Marketplace

  DavyLandman

  committed
  52e9839

  Copy full SHA for 52e9839