diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-10-04 10:51:34 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-10-04 10:51:34 +0200 |
| commit | 1705ab2310e9b980a96fe325da44e923b474a167 (patch) | |
| tree | 9cfd8fb43b198f48f382bd4476f266a77e66dd70 /.gitignore | |
| parent | e040b766b62c0e8cda0c2a89dab3de7b1de7efdc (diff) | |
| download | arabluatex-1705ab2310e9b980a96fe325da44e923b474a167.tar.gz | |
prevent shorter arbmark ids from being taken as replacement patterns
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions