Skip to content
GitLab
Explore
Sign in
GNOME
gsettings-desktop-schemas
Merge requests
!16
WIP: Resolve "Better documents and monospace defaults fonts"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jakub Steiner
requested to merge
2-better-documents-and-monospace-defaults-fonts
into
master
Feb 04, 2019
Overview
0
Commits
0
Pipelines
0
Changes
0
Expand
Closes
#2 (closed)
Merge request reports