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)
commit5473ff6386e2c026aa91445854555f3017c66c02
tree720a3e7f02043bb58090a4c90dfb086b45fb06ae
parentb913cc9c9ba15eab54f4f350d011639fef5e8319
no need to still make this red
research/thesis.html