home · contact · privacy
Some text improvements.
authorChristian Heller <c.heller@plomlompom.de>
Fri, 13 Oct 2023 05:24:27 +0000 (07:24 +0200)
committerChristian Heller <c.heller@plomlompom.de>
Fri, 13 Oct 2023 05:24:27 +0000 (07:24 +0200)
commitf963d8b6ef61261bdd16be29637577a83dc9a470
treef908cf3782c40b221b954d88aadf036811b67ff0
parentc9cfd59e8b63463f92be3b58ca683867ac034874
Some text improvements.
book.tex