diff options
author | Robert Alessi <alessi@robertalessi.net> | 2016-06-20 18:59:47 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2016-06-20 18:59:47 +0200 |
commit | dc3b3c81fe054b59f1f96604e434ed588c81c827 (patch) | |
tree | ec58155c772cc21df216ed2bc8e0877e621947ff /makefile | |
parent | 6d95c21697233e375505fa93019bbb43322975c0 (diff) | |
download | arabluatex-dc3b3c81fe054b59f1f96604e434ed588c81c827.tar.gz |
set Old Standard as the main font of the documentation
Diffstat (limited to 'makefile')
0 files changed, 0 insertions, 0 deletions