John Maximilian 357995a15a ci: add index.html. ...

Currently this is just a redirect, but we could build for different versions and
add a menu.

2023-03-08 11:49:48 +00:00

..

index.html

ci: add index.html.

2023-03-08 11:49:48 +00:00