David Holland 85519ece49 Transition to org-mode, fixup some latex mistakes!		2022-09-23 12:35:58 +02:00
.gitignore	Transition to org-mode, fixup some latex mistakes!	2022-09-23 12:35:58 +02:00
Documentation.pdf	Transition to org-mode, fixup some latex mistakes!	2022-09-23 12:35:58 +02:00
Documentation.tex	Transition to org-mode, fixup some latex mistakes!	2022-09-23 12:35:58 +02:00
Documentation_v2.org	Transition to org-mode, fixup some latex mistakes!	2022-09-23 12:35:58 +02:00
arch.png	Restore accidentally removed files	2020-05-02 15:11:14 +02:00
dustdoc.cls	Transition to org-mode, fixup some latex mistakes!	2022-09-23 12:35:58 +02:00
generate-pdfs	Add A4 layout	2020-05-22 00:42:07 +02:00
print_a4.pdf	Switch to mintinline completely; emphasize with emph instead of textbf; create sane line breaking action	2020-11-15 20:26:00 +01:00
print_a4.tex	Add A4 layout	2020-05-22 00:42:07 +02:00