Repository navigation

chore(rename): update lean-spec-{docs,desktop} → leanspec-{docs,desktop} URLs (Part of #254) - #314

Open

tikazyq wants to merge 1 commit into

mainfrom

chore/sweep-sibling-repo-renames

Open

chore(rename): update lean-spec-{docs,desktop} → leanspec-{docs,desktop} URLs (Part of #254)#314
tikazyq wants to merge 1 commit into
mainfrom
chore/sweep-sibling-repo-renames

Commits on May 20, 2026
- chore(rename): update lean-spec-{docs,desktop} → leanspec-{docs,desktop} URLs (#254)
  
  tikazyq
  and
  claude
  committed
  4e5f4bc