Commit Graph

2 Commits

Author SHA1 Message Date
Mario Zechner
de723373d6 Fix pages.sh 2023-05-28 10:03:28 +02:00
Mario Zechner
8927d84697 GitHub workflow for pages generation. 2023-05-28 09:53:19 +02:00