Commit graph

2 commits

Author SHA1 Message Date
Griatch
c69ffe9f41 Correct doc-building make 2021-03-20 10:47:57 +01:00
Griatch
e97dd38637 Port github action suite to develop branch 2020-09-20 19:07:18 +02:00