aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-11-17 21:48:39 +0100
committerRobert Alessi <alessi@robertalessi.net>2018-11-17 21:48:39 +0100
commit9f1bf2e34429d600645ec281936c0dce6d9d4640 (patch)
treeeccb68b57b0b6299fc8639484f3d1273aaca2753 /Makefile
parent223e4a62bfa539ef913d5e62d82c5a0436b02b73 (diff)
downloadekdosis-9f1bf2e34429d600645ec281936c0dce6d9d4640.tar.gz
added 'pre' as option of \lem
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions