diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-10-25 10:13:41 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-10-25 10:13:41 +0200 |
commit | 91ae07ecf4472b679343b95f67d59996a6fb5bb1 (patch) | |
tree | d4eec9d1655bdde6ba42734af2798c1b933c6686 /.gitignore | |
parent | c7838796f150e8fa37c8ceff6880590649e4d45f (diff) | |
download | ekdosis-91ae07ecf4472b679343b95f67d59996a6fb5bb1.tar.gz |
optionally use parnotes for inserting paragraphed footnotes in apparatuses
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions