matt335672 e44879740f Update fonts ...

Replace sans-10.fv1 with a modern version generated with the
new tools.
Also add a sans-18.fv1 for higher DPI monitors.

2022-09-06 09:42:14 +01:00

1.1 MiB

Raw History

View Raw