no multi-defn boxes
authorRalf Jung <post@ralfj.de>
Fri, 6 Apr 2018 11:09:55 +0000 (13:09 +0200)
committerRalf Jung <post@ralfj.de>
Fri, 6 Apr 2018 11:09:55 +0000 (13:09 +0200)
commit126a0604a09fd8f572f688e56a1abe58278d76a6
tree5d5b8ef3526b94b41f333fe8a9a909c8f64ec59d
parentee3b920271648a553bf01a673a25d305d95b36d3
no multi-defn boxes
personal/_posts/2018-04-05-a-formal-look-at-pinning.md