3 Commits

Author	SHA1	Message	Date
Dominik Roth	5be2df1cea	Compile new docs	2024-03-14 18:34:02 +01:00
Dominik Roth	688712004d	Recompiled docs	2024-03-14 15:58:08 +01:00
Dominik Roth	4b862185e6	Change .gitignore; push docs/build to GitHub	2024-01-23 17:16:12 +01:00