no need to still make this red
authorRalf Jung <post@ralfj.de>
Fri, 7 Oct 2022 15:33:29 +0000 (17:33 +0200)
committerRalf Jung <post@ralfj.de>
Fri, 7 Oct 2022 15:33:33 +0000 (17:33 +0200)
commitb78dcae9d1184bf4bb2246de175cb90756a20e32
treed17cc315181e9194de0eb75ce21729f8356b99de
parent21f1f1bc2e1bb9bd744a7e0c88bbd301fac57b94
no need to still make this red
research/thesis.html