diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-01-04 20:21:04 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-01-04 20:21:04 +0100 |
| commit | 70de29d460ac561a2e707a37888f6336d564bdd9 (patch) | |
| tree | 64adb7ce958b14e658b70706dd714dace72a132d /.gitignore | |
| parent | eaa312973551c9f7d798035c854c5083f21fa047 (diff) | |
| download | arabluatex-70de29d460ac561a2e707a37888f6336d564bdd9.tar.gz | |
\prname{} something was still missing for ibn to be processed properly
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions