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 /makefile | |
| parent | eb3764f6c6bd0a361cab857f82232a502101e9b5 (diff) | |
| download | arabluatex-61d5a915f7f5d50b12aae803e75f388bda71fcba.tar.gz | |
include \prname* in change history
Diffstat (limited to 'makefile')
0 files changed, 0 insertions, 0 deletions