diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-11-17 21:48:39 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-11-17 21:48:39 +0100 |
| commit | 9f1bf2e34429d600645ec281936c0dce6d9d4640 (patch) | |
| tree | eccb68b57b0b6299fc8639484f3d1273aaca2753 /.gitignore | |
| parent | 223e4a62bfa539ef913d5e62d82c5a0436b02b73 (diff) | |
| download | ekdosis-9f1bf2e34429d600645ec281936c0dce6d9d4640.tar.gz | |
added 'pre' as option of \lem
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions