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