Skip to content
GitLab
Explore
Sign in
Replace Noto Sans with Inter font family
Code
Review changes
Check out branch
Download
Patches
Plain diff
Uwe Jandt (DESY, HIFIS)
requested to merge
fonts-inter
into
new-logo-and-color
Sep 04, 2023
Overview
1
Commits
2
Pipelines
3
Changes
10
Expand
https://fonts.google.com/specimen/Inter
Merge request reports
Loading