cleanup font selection
authorMarei Peischl <marei@peitex.de>
Thu, 21 Nov 2019 10:08:31 +0000 (11:08 +0100)
committerJan Büren <jan@kivitendo.de>
Mon, 3 Feb 2020 11:21:38 +0000 (12:21 +0100)
commited551b1ae482d014fb470b7fe55b7692f02dac38
tree28aa395a4a29a9ff4f1085ade7d8392ed81add86
parent53afc29ce97cfb88fc1d78844a057e85e52a9f7f
cleanup font selection
insettings.tex