Marco Thomas 0f4c0c8fef latex export: cleanup

2022-05-27 22:41:58 +02:00

..

notes.org

latex export: cleanup

2022-05-27 22:41:58 +02:00

presentations.org

fix small stuff

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