aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2020-07-19 12:23:57 +0200
committerRobert Alessi <alessi@robertalessi.net>2020-07-19 12:23:57 +0200
commit34786688b350598f9da6641a1a45d9d747c17536 (patch)
treeae137460b9ef8bb85fdf1d60984bce0bef9f9545 /Makefile
parent274d02e351ad12de5c685dca4f235ec2da5c5a83 (diff)
downloadekdosis-34786688b350598f9da6641a1a45d9d747c17536.tar.gz
added \null at the beginning of \lem and \note. elide digits of end-range line numbers
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions