Repository navigation
Show every declared-here position and its gloss in the IDE panel - #191
Open
CatarinaGamboa wants to merge 2 commits into
Open
CatarinaGamboa wants to merge 2 commits into
CatarinaGamboa wants to merge 2 commits into
Commits
Commits on Nov 10, 2026