Pieter's intro comments
authorMart Lubbers <mart@martlubbers.net>
Wed, 1 Mar 2023 19:13:24 +0000 (20:13 +0100)
committerMart Lubbers <mart@martlubbers.net>
Wed, 1 Mar 2023 19:13:24 +0000 (20:13 +0100)
commite339ca76d3bdebf7094d3e4cbb6eb9da82892a8f
tree0a5901c1787677255bffb3f765141ca8b7a5d310
parent55d92612436b8bed8a114e6dc49ce86d7cb96bea
Pieter's intro comments
intro/intro.tex