diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-08-22 16:16:30 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-08-22 16:16:30 +0200 |
| commit | 9d6f3f6650abdaaa832c82ff77b83c4a9a8f3401 (patch) | |
| tree | 0d42e78ba87c4baec2ee4dff6007899f596df839 /.gitignore | |
| parent | 9306cfa3f3607e69c244a8f963f441829ba5bb52 (diff) | |
| download | arabluatex-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