Skip to content

docs: normalize remaining project naming in legacy docs#159

Merged
ProfRandom92 merged 2 commits into
mainfrom
codex/normalize-remaining-project-naming
May 20, 2026
Merged

docs: normalize remaining project naming in legacy docs#159
ProfRandom92 merged 2 commits into
mainfrom
codex/normalize-remaining-project-naming

Commits

Commits on May 20, 2026