diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-08-16 19:08:57 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-08-16 19:08:57 +0200 |
| commit | 387967b0395873430fc75d26210cf625cb0b8b02 (patch) | |
| tree | 5dda3edc247be4354341d7fbef255f92fe94d673 /.gitignore | |
| parent | 27e0c17214c69eccc700ab6d6c178b706a20619a (diff) | |
| download | arabluatex-387967b0395873430fc75d26210cf625cb0b8b02.tar.gz | |
arabtex2utf: \prname had to go in the external Unicode file. opening and closing braces needed more work. insert cr before \item
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions