diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-08-22 14:31:59 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-08-22 14:31:59 +0200 |
commit | 15f869e0263de7e1a9c2629ce5fcd6f0bc9ef544 (patch) | |
tree | c43f4a922b8d87205a9eae9522b414ad4a463a17 /.gitignore | |
parent | 1b93280683c67010b9bed0327f2b978f2edbf329 (diff) | |
download | arabluatex-15f869e0263de7e1a9c2629ce5fcd6f0bc9ef544.tar.gz |
tidy up
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions