Skip to content
GitLab
Explore
Sign in
EIP
Peer
Merge requests
!324
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