3 Commits

Author	SHA1	Message	Date
mrjvs	f7c829a5f0	doc deployment workflow	2023-09-14 21:13:44 +02:00
mrjvs	461b39e2f1	doc deployment action	2023-09-05 22:24:45 +02:00
mrjvs	9f66778d28	move github actions	2023-06-21 15:32:42 +02:00