diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-07-19 20:45:55 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-07-19 20:45:55 +0200 |
| commit | 6d0fdc5992ff1a56d470dffc41af5025cf64d1f1 (patch) | |
| tree | 5385c755c9d944e0622556a3442a9a3f3974f600 /.gitignore | |
| parent | 34786688b350598f9da6641a1a45d9d747c17536 (diff) | |
| download | ekdosis-6d0fdc5992ff1a56d470dffc41af5025cf64d1f1.tar.gz | |
more control over expansion of \delim@val. new option numbers=elided|full (and defaults to elided)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions