diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2021-04-13 15:11:20 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2021-04-13 15:11:20 +0200 |
| commit | f1f70d0df950198cad6fb2d5a72471626857bd40 (patch) | |
| tree | c4c598323a00ea829b80f0a413be1ac1c482df37 /.gitignore | |
| parent | 7926d252d9c297b077443293b1b33cae41d1fe60 (diff) | |
| download | ekdosis-f1f70d0df950198cad6fb2d5a72471626857bd40.tar.gz | |
added new option 'locus' in \DeclareWitness
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions