]> git.ralfj.de Git - web.git/commit
fix formatting in old blog post
authorRalf Jung <post@ralfj.de>
Wed, 12 Feb 2025 19:41:18 +0000 (20:41 +0100)
committerRalf Jung <post@ralfj.de>
Wed, 12 Feb 2025 19:41:18 +0000 (20:41 +0100)
commitc5956f63ceeea55b327745d4cd7d613b8c3b6b6f
treed8e9861b6aae04b97fb54ea0299ed4d086511ae5
parent7f2ddf56699c717bb7e91b745f9a0e7332fc064d
fix formatting in old blog post
personal/_posts/2017-07-17-types-as-contracts.md