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)
commit012c4051ecc64d759d9cfb821841fe20dbba3aef
tree724483ae934de0367e6b8472bc42d5b6e224e0d8
parent3acdc3ddcbcb0fc36eb2eff816663fddbdc471a6
minor tweaks
personal/_drafts/provenance-matters.md