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 /fichiers/scripts/countlines-mk2.sh | |
parent | 90640b8eac23fe076f5fd49d50ca609303237b97 (diff) | |
download | courses-2656c81b34383b34648ea023b873e48c05c5116b.tar.gz |
pass --no-tex-ligatures to pandoc
Diffstat (limited to 'fichiers/scripts/countlines-mk2.sh')
0 files changed, 0 insertions, 0 deletions