Henrik 7615ddc6e8 Update manual.yml

2023-01-20 18:41:10 +01:00

..

manual.yml

Update manual.yml

2023-01-20 18:41:10 +01:00

manualenv.yml

Rename manualenv.yaml to manualenv.yml

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