2 commits

Author	SHA1	Message	Date
Paul Schaub	06b66dcc17	Exclude irrelevant md files from gh-pages	2022-08-04 15:33:09 +02:00
Paul Schaub	38d04dca35	Merge gh-pages stuff into main	2022-08-04 15:15:58 +02:00