From: Ralf Jung Date: Tue, 14 May 2019 13:09:56 +0000 (+0200) Subject: consistently separate footnotes from text X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/6bc31491346968008f0e137a391369b77b684b51?hp=6bc31491346968008f0e137a391369b77b684b51 consistently separate footnotes from text ---