diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-11-17 19:01:59 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-11-17 19:01:59 +0100 |
| commit | a1be1b3fa2bc6910e7eb3f55da4627f80675b67e (patch) | |
| tree | c6ae38503cebc84753a22cab7bc0053f8006e64e /.gitignore | |
| parent | a8c4a82dcf257a4db713a6bae3a0778b030f9b4a (diff) | |
| download | ekdosis-a1be1b3fa2bc6910e7eb3f55da4627f80675b67e.tar.gz | |
added new option 'sep' in \DeclareApparatus; new variable CMP in Makefile
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions