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)
commitca01c873f12fa26f5bbe11310b392cd855e7caf9
tree10da7e2b82e87a36aca96098ced669f77b99bca9
parente33e1041ec91bb5a9f538631b578c6bcfb78c73a
no multi-defn boxes
personal/_posts/2018-04-05-a-formal-look-at-pinning.md