diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-02-19 08:30:26 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-02-19 08:30:26 +0100 |
| commit | 026f4f5639db65b4118b57e7912a0b7aa9b88205 (patch) | |
| tree | fae34c2ffdd1775b4692261eed16276e4f71c88e /.gitignore | |
| parent | ee13476159a05039c3bac2af09f2d5858a05ff3c (diff) | |
| download | ekdosis-026f4f5639db65b4118b57e7912a0b7aa9b88205.tar.gz | |
last arg. of \DeclareNewWitness was not actually optional: fixed
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions