Repository navigation

README: IDE repo link after the rename - #16

Merged

cedricvogel-leo merged 1 commit into

mainfrom

Oct 25, 2026

Merged

README: IDE repo link after the rename#16
cedricvogel-leo merged 1 commit into
mainfrom
docs/ide-link

Commits on Oct 25, 2026
- README: link the IDE's repo under its new name
  
  cedricvogel-leo
  and
  claude
  committed
  942bd96