minor tweaks
authorRalf Jung <post@ralfj.de>
Thu, 10 Dec 2020 19:07:41 +0000 (20:07 +0100)
committerRalf Jung <post@ralfj.de>
Thu, 10 Dec 2020 19:07:41 +0000 (20:07 +0100)
commitf84e95a2f2e8a40f8a8560305588167dff59059e
tree61896e3a353b64a04d31f3a68d50b4217b088e7d
parent0750a867ea3132ffb722bf921ff9cf0d185553ca
minor tweaks
ralf/_drafts/provenance-matters.md