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)
commit04b77c3671c98373e8a152d9965f2c8f238cb558
tree06e860d00cceadaa3eefd02be112bc99200114ba
parentba0b5217e2dd9820b4cdbf237fa21a9f5e03f2e4
notation
personal/_posts/2018-07-19-const.md