diff Makefile.generic @ 343:59109d1cb17b

- more html doc tweak: remove dependency on google fonts
author Tassilo Philipp
date Tue, 07 Jan 2020 11:14:01 +0100
parents 089df1eee6d0
children 76b75fd84c72
line wrap: on
line diff