diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2022-09-01 11:26:32 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2022-09-01 11:26:32 +0200 |
| commit | de0d2fc6be9726bd9a6e265fac653e6f8bd3cdcb (patch) | |
| tree | 28787be4eab69ab52b5e25e527e8db1eedf965a6 /.gitignore | |
| parent | 8ae25bd88aa372e55836bfdf8a06b2d2195a4268 (diff) | |
| download | ekdosis-de0d2fc6be9726bd9a6e265fac653e6f8bd3cdcb.tar.gz | |
added new option 'delim' to \lem
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions