Ben 4c226d8018 Revert unwanted doc change and add diagram		2023-10-11 21:57:18 +02:00
..
2023-10-11-Note-12-40.pdf	Revert unwanted doc change and add diagram	2023-10-11 21:57:18 +02:00
doc.tex	Add first draft for documentation (DE)	2023-07-19 17:32:47 +02:00
index.md	Revert unwanted doc change and add diagram	2023-10-11 21:57:18 +02:00
index.pdf	Add first draft for documentation (DE)	2023-07-19 17:32:47 +02:00