diff options
author | Robert Alessi <alessi@robertalessi.net> | 2019-06-06 09:53:53 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2019-06-06 09:53:53 +0200 |
commit | a41e11d62d1886519f7b3ddbee852ec47b8ffb40 (patch) | |
tree | 04971a752564b99ecd01bbad1284ef2c3166e8e1 /.gitignore | |
parent | dcb7cbd8e337cf30665329dd72ffd38a338ef5ec (diff) | |
download | arabluatex-a41e11d62d1886519f7b3ddbee852ec47b8ffb40.tar.gz |
revert [dcb7cbd]
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions