aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2020-07-13 19:59:40 +0200
committerRobert Alessi <alessi@robertalessi.net>2020-07-13 19:59:40 +0200
commitf25eea6af4f41ef7529e1488d2c2e6777f1dca7a (patch)
tree798ab83c66a20da33ec55b322ccd8aeba1d098df /.gitignore
parent98bc53938259ad553e545192ed20cc553dd48ae3 (diff)
downloadarabluatex-f25eea6af4f41ef7529e1488d2c2e6777f1dca7a.tar.gz
\rmfamily → \normalfont. append information collected by [98bc539] in footnotes, apparatus criticus and the like.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions