aboutsummaryrefslogtreecommitdiff
path: root/samples/Makefile
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2022-01-04 13:16:28 +0100
committerRobert Alessi <alessi@robertalessi.net>2022-01-04 13:16:28 +0100
commitdb95b2cda2d37112c89a4e41d0e2d2e65fa34807 (patch)
treed153ed72fb5c67c330120834bf81740ef7fcc90f /samples/Makefile
parent3894140d19231e00b61eca4af8d803514efaac3e (diff)
downloadekdosis-db95b2cda2d37112c89a4e41d0e2d2e65fa34807.tar.gz
new option 'nodelim' for \lem and \note. remove unwanted spaces around empty lemmas
Diffstat (limited to 'samples/Makefile')
0 files changed, 0 insertions, 0 deletions