PR: Add a shortcut manager#45
Merged
jnsebgosselin merged 43 commits intomainfrom Dec 18, 2025
Merged
Commits
Commits on Nov 5, 2025
Commits on Nov 6, 2025
Commits on Nov 11, 2025
Commits on Nov 16, 2025
Commits on Nov 27, 2025
Commits on Dec 8, 2025
Commits on Dec 9, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 13, 2025
- committed
Commits on Dec 17, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed