diff options
author | Robert Alessi <alessi@robertalessi.net> | 2019-02-10 18:08:51 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2019-02-10 18:08:51 +0100 |
commit | f71307c441f923e722f5ce7f1019899763690e4b (patch) | |
tree | b157e96957b3bcb085f8dcc7bad87c567ec1571d /makefile | |
parent | 01e4e7dfc1e1249aed51cd82c9b088efe4fd1272 (diff) | |
download | arabluatex-f71307c441f923e722f5ce7f1019899763690e4b.tar.gz |
improved preceding commit [01e4e7d]
Diffstat (limited to 'makefile')
0 files changed, 0 insertions, 0 deletions