diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-07-13 19:59:40 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-07-13 19:59:40 +0200 |
| commit | f25eea6af4f41ef7529e1488d2c2e6777f1dca7a (patch) | |
| tree | 798ab83c66a20da33ec55b322ccd8aeba1d098df /.gitignore | |
| parent | 98bc53938259ad553e545192ed20cc553dd48ae3 (diff) | |
| download | arabluatex-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