diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-07-24 19:43:51 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-07-24 19:43:51 +0200 |
| commit | 724790d0317fdd5698e7fd8125e188903c90a9cc (patch) | |
| tree | e0624a7fc99e3bbc48f8f700e85426fcc901afcf /.gitignore | |
| parent | 52024ce627a68d77247edf58778801acaed3611e (diff) | |
| download | arabluatex-724790d0317fdd5698e7fd8125e188903c90a9cc.tar.gz | |
new variable in makefile
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions