aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-08-22 16:16:30 +0200
committerRobert Alessi <alessi@robertalessi.net>2018-08-22 16:16:30 +0200
commit9d6f3f6650abdaaa832c82ff77b83c4a9a8f3401 (patch)
tree0d42e78ba87c4baec2ee4dff6007899f596df839 /.gitignore
parent9306cfa3f3607e69c244a8f963f441829ba5bb52 (diff)
downloadarabluatex-9d6f3f6650abdaaa832c82ff77b83c4a9a8f3401.tar.gz
arabtex2utf: append 'utf' option to arabverse environment depending on default settings
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions