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)
commit46ffee68f2a482ecbc7cf2d684f43b4884312a9f
treed00f9643d8156213a0cf92165a2547b6a9dc5379
parent9a7223726c561cd9c11d1754c783a330357bed1e
consistently separate footnotes from text
personal/_posts/2017-06-06-MIR-semantics.md
personal/_posts/2017-06-09-mutexguard-sync.md
personal/_posts/2018-01-31-sharing-for-a-lifetime.md
personal/_posts/2018-07-13-arc-synchronization.md