nodiscc 4e653e1e97 tools/github actions: use makefile/sphinx instead of mkdocs to build HTML documentation		2023-10-05 15:01:43 +02:00
..
workflows	tools/github actions: use makefile/sphinx instead of mkdocs to build HTML documentation	2023-10-05 15:01:43 +02:00
mailmap	Update CHANGELOG and AUTHOR	2020-09-30 11:55:51 +02:00