Skip to content

PR: Add a shortcut manager#45

Merged
jnsebgosselin merged 43 commits intomainfrom
add_shortcut_manager
Dec 18, 2025
Merged

PR: Add a shortcut manager#45
jnsebgosselin merged 43 commits intomainfrom
add_shortcut_manager

Commits

Commits on Nov 5, 2025

Commits on Nov 6, 2025

Commits on Nov 11, 2025

Commits on Nov 16, 2025

Commits on Dec 8, 2025

Commits on Dec 13, 2025

Commits on Dec 18, 2025