diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-08-27 14:46:00 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-08-27 14:46:00 +0200 |
commit | 7e99898e73ef71c5782aacccdf3848c832c47dea (patch) | |
tree | a0efbe601be998cd0ebb36365cfcb7b37045d644 /.gitignore | |
parent | 08da8b4a63cb53f2137447e863907ec608f44c32 (diff) | |
download | arabluatex-7e99898e73ef71c5782aacccdf3848c832c47dea.tar.gz |
revert from [c551da7]
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions