updates
authorMart Lubbers <mart@martlubbers.net>
Tue, 21 Feb 2023 15:10:44 +0000 (16:10 +0100)
committerMart Lubbers <mart@martlubbers.net>
Tue, 21 Feb 2023 15:10:44 +0000 (16:10 +0100)
commit382f9709a872c0dfdb86e1184d07224a47c8eff3
tree1a99fe9ad31b933f13249c0316fc5e3d9f00e3b1
parent5702796e5885e85b9e8dcc0d5160dccb9386b05f
updates
top/4iot.tex
top/green.tex
top/imp.tex
top/int.tex
top/lang.tex
top/top.tex