| Mon, 28 Sep 2020 16:43:49 +0200 | wenzelm | more standard and more robust, following hints on the Net; | changeset | files |
| Mon, 28 Sep 2020 16:23:15 +0200 | wenzelm | obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde); | changeset | files |
| Mon, 28 Sep 2020 15:37:12 +0200 | wenzelm | prefer old-fashioned {\ss} to prevent problems with encoding in lualatex; | changeset | files |