update'
authorMart Lubbers <mart@martlubbers.net>
Tue, 18 Oct 2022 09:03:06 +0000 (11:03 +0200)
committerMart Lubbers <mart@martlubbers.net>
Tue, 18 Oct 2022 09:03:06 +0000 (11:03 +0200)
commitb20c3c8a47ab555186a270a120f23bed6ca79b38
treef1e1ea10361c9e2c4413c037506f5c5f6b2c9752
parent0c4686b70dcb071a6537cdb52beb6bf4183334a1
update'
glossaries.tex
intro/intro.tex