Marco Thomas 54d6d63d97 fix small stuff

2022-04-26 19:21:58 +02:00

..

notes.org

fix small stuff

2022-04-26 19:21:58 +02:00

presentations.org

fix small stuff

2022-04-26 19:21:58 +02:00