Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell-extensions
Merge requests
!299
apps-menu: Rename Applications to Apps
Code
Review changes
Check out branch
Download
Patches
Plain diff
Allan Day
requested to merge
aday/gnome-shell-extensions:apps-menu
into
main
Jan 31, 2024
Overview
3
Commits
1
Pipelines
4
Changes
2
Expand
I'm afraid that I haven't been able to test this. Pointers would be welcome.
Fixes
#481 (closed)
Merge request reports