aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-08-21 17:52:35 +0200
committerRobert Alessi <alessi@robertalessi.net>2018-08-21 17:52:35 +0200
commitf0195ef546e9c35f539edd3bf01ef8b1b0cb7344 (patch)
tree0209d2382772fc4fb1da465731a25f6b01b604af /.gitignore
parent7b51f6927c7b900d6512eb67e4dceb17393216b0 (diff)
downloadarabluatex-f0195ef546e9c35f539edd3bf01ef8b1b0cb7344.tar.gz
arabtex2utf: arabverse needed much more work
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions