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)
commitef8c8db0c4e5e836b8e5c8126e38299ae622e4d3
tree099997b61efcfc27e577acc9221ea6d3afba589e
parent960222ebaeb2cd974bc00bb50e9b1e7a633bfe1a
minor tweaks
personal/_drafts/provenance-matters.md