diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-08-22 15:42:53 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-08-22 15:42:53 +0200 |
commit | a0725d4d76a18fac8b2b882e9e6315f1aba9cdad (patch) | |
tree | f56b4e16aaf798c5bfd0985c75e3f7fad785aaba /makefile | |
parent | 15f869e0263de7e1a9c2629ce5fcd6f0bc9ef544 (diff) | |
download | arabluatex-a0725d4d76a18fac8b2b882e9e6315f1aba9cdad.tar.gz |
added {} after \arabicfont in arbmarks
Diffstat (limited to 'makefile')
0 files changed, 0 insertions, 0 deletions