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