Repository navigation

docs: add a glossary for terms with several meanings (#1949) - #1955

Merged

JarryShaw merged 2 commits into

mainfrom

docs/1949-glossary

Oct 19, 2026

Merged

docs: add a glossary for terms with several meanings (#1949)#1955
JarryShaw merged 2 commits into
mainfrom
docs/1949-glossary

Commits on Oct 19, 2026
- docs: add a glossary for terms with several meanings (#1949)
  JarryShaw
  committed
  b6350a7
- docs: fix the glossary's info entry wording (#1949)
  JarryShaw
  committed
  f3a65c5