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)
commit55e44c65b6892c88a142243808b8822d37981543
tree3b95a40755e5bc23171cb3a758899b983731cdb6
parent04b77c3671c98373e8a152d9965f2c8f238cb558
clarify conflusion
personal/_posts/2018-07-19-const.md