github-actions[bot] e9ee2e31fb chore(build): auto-build pdf		2024-01-16 21:53:11 +00:00
..
img	docs: add pdf document	2024-01-08 17:13:05 +02:00
main.pdf	chore(build): auto-build pdf	2024-01-16 21:53:11 +00:00
main.typ	docs: remove WIP from pdf	2024-01-16 23:50:22 +02:00