Skip to content

README: IDE repo link after the rename - #16

Merged
cedricvogel-leo merged 1 commit into
mainfrom
docs/ide-link
Oct 25, 2026
Merged

cedricvogel-leo merged 1 commit into
mainfrom
docs/ide-link

README: link the IDE's repo under its new name

942bd96
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
check
succeeded Oct 25, 2026 in 6s