Skip to content
GitLab
Explore
Sign in
GNOME
Settings
Merge requests
!2020
multitasking: Use header capitalization in some workspace options
Code
Review changes
Check out branch
Download
Patches
Plain diff
Automeris naranja
requested to merge
automerisnaranja/gnome-control-center:workspace-options-header-capitalization
into
main
Nov 10, 2023
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
https://developer.gnome.org/hig/guidelines/writing-style.html
Merge request reports