aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2017-06-28 10:00:13 +0200
committerRobert Alessi <alessi@robertalessi.net>2017-06-28 10:00:13 +0200
commit489d2acfe9027ba19c894326f524bab4bd0bb368 (patch)
tree2f6c916806bcb88d0047cc4409e61779ea20d8fe /.gitignore
parentcd9dfe4561e7b6c1e5ab1e01218eb3a4849fb2c8 (diff)
downloadarabluatex-489d2acfe9027ba19c894326f524bab4bd0bb368.tar.gz
issue <??> for any [%^%_] left unprocessed instead of issuing a 'missing $ inserted' error
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions