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)
commit5b59a8a70a9ef91f094c88c94becb0bfa00e6857
tree4ad7e8f9d0bbcfa1aba33aeda34c3e6a820d1355
parent7a0084a49697baf91a1469acabadd5acbcfbd7fa
notation
personal/_posts/2018-07-19-const.md