diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2023-02-02 13:18:27 (GMT) |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2023-02-02 13:18:27 (GMT) |
| commit | aafcfab9000b221d5256163e81da035e073b35c5 (patch) | |
| tree | a757db940d9b4464d32f319aa78ef092964632ff /web/input/doc/faq/gnulib.md | |
| parent | 8a04a916181850af93c6a2d7c9e3cbd591e2c344 (diff) | |
| download | site-aafcfab9000b221d5256163e81da035e073b35c5.tar.gz | |
Revert to Source Sans Pro
Source Sans 3 doesn't quite do the trick for our layout.
Diffstat (limited to 'web/input/doc/faq/gnulib.md')
0 files changed, 0 insertions, 0 deletions