diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-08-22 10:01:08 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-08-22 10:01:08 +0200 |
commit | 61d5a915f7f5d50b12aae803e75f388bda71fcba (patch) | |
tree | 42149a06574c9172f66a429c0b42a29f0d1e32f7 /arabluatex_trans.lua | |
parent | eb3764f6c6bd0a361cab857f82232a502101e9b5 (diff) | |
download | arabluatex-61d5a915f7f5d50b12aae803e75f388bda71fcba.tar.gz |
include \prname* in change history
Diffstat (limited to 'arabluatex_trans.lua')
0 files changed, 0 insertions, 0 deletions