Skip to content

Replace Noto Sans with Inter font family

Uwe Jandt (DESY, HIFIS) requested to merge fonts-inter into new-logo-and-color

Merge request reports

Loading