1 commit

Author	SHA1	Message	Date
Pavol Žáčik	a9a49365d3	web: Add a workflow for Github Pages ... The manual is now built automatically with each push to the master branch.	2026-03-03 16:28:26 +01:00