restructure pinning post a bit
authorRalf Jung <post@ralfj.de>
Mon, 9 Apr 2018 12:11:48 +0000 (14:11 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 9 Apr 2018 12:11:48 +0000 (14:11 +0200)
commitc79cd1578b237a9347c413fa53a39c5ae4372a03
treecaca6c0ac2d5e3a6d3505e4759080e920e15fe70
parent05b8dfd1527811f3a183784bbf36c6d3cab90349
restructure pinning post a bit
personal/_posts/2018-04-05-a-formal-look-at-pinning.md