aboutsummaryrefslogtreecommitdiff
path: root/arabluatex.ins
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-08-17 18:43:41 +0200
committerRobert Alessi <alessi@robertalessi.net>2018-08-17 18:43:41 +0200
commite8334df26bb7864410a15798a212cc32725a8927 (patch)
tree59432d47b45cd6c25059880740240715254ff988 /arabluatex.ins
parentd6bd287017e43ce12724d43c63dfff26358a2231 (diff)
downloadarabluatex-e8334df26bb7864410a15798a212cc32725a8927.tar.gz
arabtex2utf: better handling of \prname
Diffstat (limited to 'arabluatex.ins')
0 files changed, 0 insertions, 0 deletions