Repository navigation

Fix the version switcher for the docs - #258

Merged

StephenNneji merged 1 commit into

RascalSoftware:mainfrom

StephenNneji:fix_version_switcher

Sep 30, 2026

Merged

Fix the version switcher for the docs#258
StephenNneji merged 1 commit into
RascalSoftware:mainfrom
StephenNneji:fix_version_switcher

Commits on Sep 30, 2026
- Fix the version switcher for the docs
  StephenNneji
  committed
  e5a6e1c