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
..
workflows	web: Add a workflow for Github Pages	2026-03-03 16:28:26 +01:00