Skip to content

docs: default to IDE Extensions section and add favicon#12636

Merged
sestinj merged 1 commit into
mainfrom
docs/default-ide-extensions-and-favicon
Jun 15, 2026
Merged

docs: default to IDE Extensions section and add favicon#12636
sestinj merged 1 commit into
mainfrom
docs/default-ide-extensions-and-favicon

Commits

Commits on Jun 15, 2026