Marco Thomas 10be1e7138 update tex preset

2022-06-11 10:32:14 +02:00

..

notes.org

update tex preset

2022-06-11 10:32:14 +02:00

presentations.org

fix small stuff

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