Skip to content
GitLab
Explore
Sign in
Resolve "shortcut keys"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Philip de Munck
requested to merge
337-shortcut-keys
into
dev
Sep 11, 2022
Overview
3
Commits
3
Pipelines
8
Changes
2
Expand
Closes
#337 (closed)
Edited
Sep 11, 2022
by
Philip de Munck
Merge request reports
Loading