aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-08-16 19:08:57 +0200
committerRobert Alessi <alessi@robertalessi.net>2018-08-16 19:08:57 +0200
commit387967b0395873430fc75d26210cf625cb0b8b02 (patch)
tree5dda3edc247be4354341d7fbef255f92fe94d673 /.gitignore
parent27e0c17214c69eccc700ab6d6c178b706a20619a (diff)
downloadarabluatex-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