clarify conflusion
authorRalf Jung <post@ralfj.de>
Thu, 19 Jul 2018 18:41:06 +0000 (20:41 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 19 Jul 2018 18:41:06 +0000 (20:41 +0200)
commit61d4abe5dbb1bc4d3c156995d0f546354029fe9e
tree6b873b851d9816b038a27cb251d33cf2574e7b74
parent5b59a8a70a9ef91f094c88c94becb0bfa00e6857
clarify conflusion
personal/_posts/2018-07-19-const.md