Web site created with
- MkDocs: Static site generator
- Material for MkDocs: Theme for MkDocs
- mkdocs-git-revision-date-plugin: Plugin for the "Last update: XXX" footer
- mkdocs-badges: Badges for MkDocs
- Github: Source code hosting
- Vercel: Web site hosting
Last update:
2022-06-19