notation
authorRalf Jung <post@ralfj.de>
Thu, 19 Jul 2018 17:09:50 +0000 (19:09 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 19 Jul 2018 17:09:50 +0000 (19:09 +0200)
commit72177e644c9b658196b02738a874d79417ee4135
tree1e48536849ba8bf6a1308bdecbc858e686cc9f2f
parent038a6867ad3b756a5d4f33a19e99e392511582ae
notation
ralf/_posts/2018-07-19-const.md