aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-10-04 10:51:34 +0200
committerRobert Alessi <alessi@robertalessi.net>2018-10-04 10:51:34 +0200
commit1705ab2310e9b980a96fe325da44e923b474a167 (patch)
tree9cfd8fb43b198f48f382bd4476f266a77e66dd70 /.gitignore
parente040b766b62c0e8cda0c2a89dab3de7b1de7efdc (diff)
downloadarabluatex-1705ab2310e9b980a96fe325da44e923b474a167.tar.gz
prevent shorter arbmark ids from being taken as replacement patterns
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions