Skip to content

Polish: root help, project sorting, list alignment#219

Merged
jeremy merged 9 commits intomainfrom
polish
Mar 9, 2026
Merged

Polish: root help, project sorting, list alignment#219
jeremy merged 9 commits intomainfrom
polish

Commits

Commits on Mar 9, 2026