diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-03-29 19:03:38 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-03-29 19:03:38 +0200 |
commit | e11852284d62c0d0192e9b2a204cb1e7f0ad45f1 (patch) | |
tree | 35a8f6efa3f3d98768c9c366fb3b33ddb77c7ee5 /arabluatex.el | |
parent | 6f7b8e49be7093b2c67aee02f562b0491bd16c10 (diff) | |
download | arabluatex-e11852284d62c0d0192e9b2a204cb1e7f0ad45f1.tar.gz |
\arbmarks{} first checks if its argument is defined in the arbmarks table
Diffstat (limited to 'arabluatex.el')
0 files changed, 0 insertions, 0 deletions