aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2020-02-14 10:34:21 +0100
committerRobert Alessi <alessi@robertalessi.net>2020-02-14 10:34:21 +0100
commit0d799c9bfebe578888be24149afba540ee008313 (patch)
treed14b738834c0a1c350245d7049d5385025709119 /.gitignore
parent505d978cc30863a8ecfecf281c43ecf6982fb97a (diff)
downloadarabluatex-0d799c9bfebe578888be24149afba540ee008313.tar.gz
revert [505d978]; added ! specifier before the optional argument of arab and arabverse environments
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions