diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-09-12 15:07:27 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-09-12 15:07:27 +0200 |
| commit | 2656c81b34383b34648ea023b873e48c05c5116b (patch) | |
| tree | 3997e13f1608db1528ae6b606cf829b2f97fa682 /.gitignore | |
| parent | 90640b8eac23fe076f5fd49d50ca609303237b97 (diff) | |
| download | courses-2656c81b34383b34648ea023b873e48c05c5116b.tar.gz | |
pass --no-tex-ligatures to pandoc
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions