Skip to content

Show the number of errors and warnings in the Problems tab's title#1004

Merged
fhammerschmidt merged 19 commits intorescript-lang:masterfrom
mediremi:playground-tweaks
May 3, 2025

Commits

Commits on May 1, 2025