Commit graph

2 commits

Author SHA1 Message Date
Robert Helgesson fe849640ad
ci: update github workflow actions 2020-11-14 10:15:12 +01:00
zimbatm 1c4ced745c
ci: deploy the manual to GitHub Pages 2020-10-22 22:41:55 +02:00