aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2022-09-01 11:26:32 +0200
committerRobert Alessi <alessi@robertalessi.net>2022-09-01 11:26:32 +0200
commitde0d2fc6be9726bd9a6e265fac653e6f8bd3cdcb (patch)
tree28787be4eab69ab52b5e25e527e8db1eedf965a6 /.gitignore
parent8ae25bd88aa372e55836bfdf8a06b2d2195a4268 (diff)
downloadekdosis-de0d2fc6be9726bd9a6e265fac653e6f8bd3cdcb.tar.gz
added new option 'delim' to \lem
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions