Skip to content
GitLab
Explore
Sign in
Make menu entries configurable
Code
Review changes
Check out branch
Download
Patches
Plain diff
James Jenkinson
requested to merge
208-make-menu-entries-configurable
into
main
Jan 24, 2023
Overview
13
Commits
6
Pipelines
5
Changes
28
Expand
Closes #208
Merge request reports
Loading