Commit Graph

2 Commits

Author SHA1 Message Date
59c980e495 Final? touches to the docs 2024-01-23 17:42:39 +01:00
4b862185e6 Change .gitignore; push docs/build to GitHub 2024-01-23 17:16:12 +01:00