diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2022-01-04 13:16:28 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2022-01-04 13:16:28 +0100 |
| commit | db95b2cda2d37112c89a4e41d0e2d2e65fa34807 (patch) | |
| tree | d153ed72fb5c67c330120834bf81740ef7fcc90f /about.html | |
| parent | 3894140d19231e00b61eca4af8d803514efaac3e (diff) | |
| download | ekdosis-db95b2cda2d37112c89a4e41d0e2d2e65fa34807.tar.gz | |
new option 'nodelim' for \lem and \note. remove unwanted spaces around empty lemmas
Diffstat (limited to 'about.html')
0 files changed, 0 insertions, 0 deletions