docs: design spec + implementation plan for generic navigation_devtools - #1
Merged
masreplay merged 16 commits intoJul 16, 2026
Commits
Commits on Jul 14, 2026
Commits on Jul 15, 2026
chore: restructure workspace for generic navigation_devtools (renames, new package stubs, examples/)
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed