From: Ralf Jung Date: Tue, 24 Jul 2018 21:49:54 +0000 (+0200) Subject: remove a footnote again X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/cbbec14687dbc63a816c662cf564010072262c67?hp=cbbec14687dbc63a816c662cf564010072262c67 remove a footnote again ---