diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-10-06 10:31:35 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-10-06 10:31:35 +0200 |
commit | 5e44e445b82fa53d6a929ad9c0a9847499536893 (patch) | |
tree | 9cfd8fb43b198f48f382bd4476f266a77e66dd70 /makefile | |
parent | 485c1cab996a36ff51e224aa361948904572dabb (diff) | |
download | arabluatex-5e44e445b82fa53d6a929ad9c0a9847499536893.tar.gz |
revert to [1705ab2]
Diffstat (limited to 'makefile')
0 files changed, 0 insertions, 0 deletions