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 /LICENSE | |
parent | 3894140d19231e00b61eca4af8d803514efaac3e (diff) | |
download | ekdosis-db95b2cda2d37112c89a4e41d0e2d2e65fa34807.tar.gz |
new option 'nodelim' for \lem and \note. remove unwanted spaces around empty lemmas
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions