consistently separate footnotes from text
authorRalf Jung <post@ralfj.de>
Tue, 14 May 2019 13:09:56 +0000 (15:09 +0200)
committerRalf Jung <post@ralfj.de>
Tue, 14 May 2019 13:09:56 +0000 (15:09 +0200)
commit6bc31491346968008f0e137a391369b77b684b51
treea1fdbbb3d13898956b8a2a00147cab81ad3c1194
parent9e0a77282691b6a3b9de61a0cd0bfb36975b1851
consistently separate footnotes from text
ralf/_posts/2017-06-06-MIR-semantics.md
ralf/_posts/2017-06-09-mutexguard-sync.md
ralf/_posts/2018-01-31-sharing-for-a-lifetime.md
ralf/_posts/2018-07-13-arc-synchronization.md