Henrik 86f2edd6c1 Update manual.yml

2023-01-20 18:42:43 +01:00

..

manual.yml

Update manual.yml

2023-01-20 18:42:43 +01:00

manualenv.yml

Rename manualenv.yaml to manualenv.yml

2023-01-20 18:22:22 +01:00