| Wed, 19 May 2021 16:35:10 +0200 | wenzelm | prefer standard document_build=lualatex --- no impact of "sedindex" in prepare_document; | changeset | files |
| Wed, 19 May 2021 15:53:55 +0200 | wenzelm | unused; | changeset | files |
| Wed, 19 May 2021 15:45:13 +0200 | wenzelm | proper Unix lines; | changeset | files |