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