minor patch
authorMart Lubbers <mart@martlubbers.net>
Thu, 16 Feb 2023 08:22:22 +0000 (09:22 +0100)
committerMart Lubbers <mart@martlubbers.net>
Thu, 16 Feb 2023 08:22:22 +0000 (09:22 +0100)
commitf1f52a38e76ad0c5acfb68b5adf4272a69457197
tree01aeee346e81c3274a136e61978ce10f33426201
parent37e6240fbe3b2d1d8e6babdcc8c48b1b78f31999
minor patch
asbook.tex
preamble/glossaries.tex