comparison doc/manual/manual_devel.tex @ 343:59109d1cb17b

- more html doc tweak: remove dependency on google fonts
author Tassilo Philipp
date Tue, 07 Jan 2020 11:14:01 +0100
parents 7ca46969e0ad
children b47168dacba6
comparison
equal deleted inserted replaced
342:b55fec763864 343:59109d1cb17b