Henrik 40509ebf48 Update manual.yml

2023-01-20 18:29:59 +01:00

..

manual.yml

Update manual.yml

2023-01-20 18:29:59 +01:00

manualenv.yml

Rename manualenv.yaml to manualenv.yml

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