diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-08-25 09:56:19 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-08-25 09:56:19 +0200 |
| commit | 75b5c9579fcaaa9531b87c161928ce6657c5a074 (patch) | |
| tree | 05b1057e03a49d17c5c74497de9c02d73895d8bb /.gitignore | |
| parent | 9fa44076aced0c5fcbcdc06f70424c0dd46620c4 (diff) | |
| download | ekdosis-75b5c9579fcaaa9531b87c161928ce6657c5a074.tar.gz | |
added babel autodetection in \lem
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions