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)
commitc790f6cb9bc0b98315dd30f82f5f8d9a6dea4e01
tree89d42712241c0981627dbcec028f78c7861e1e7a
parent2191b887cca01453e3175f9b53dbeb7e6381f3a3
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