updatesssss
authorMart Lubbers <mart@martlubbers.net>
Mon, 14 Nov 2022 16:06:37 +0000 (17:06 +0100)
committerMart Lubbers <mart@martlubbers.net>
Mon, 14 Nov 2022 16:06:37 +0000 (17:06 +0100)
commit56e0224a0dc1e20920e85fa5f51e9616d3f495cd
treee919c3bdc97430617d4c11d64304a255877769a5
parent8142f08ef9966c7c53e82a6097de56de260fdb06
updatesssss
glossaries.tex
intro/intro.tex
top/top.tex
tvt/tvt.tex