switch documentation theme #755

Merged
mohr merged 3 commits from switch-doc-theme-to-rtd into development 2023-10-25 10:35:16 +02:00

3 Commits

Author SHA1 Message Date
7285dd6bac
update automation files
All checks were successful
fsfw/fsfw/pipeline/pr-development This commit looks good
2023-10-25 10:31:17 +02:00
b53bf2ea12 Merge branch 'development' into switch-doc-theme-to-rtd
All checks were successful
fsfw/fsfw/pipeline/pr-development This commit looks good
2023-10-25 10:28:57 +02:00
3d54895251
switch documentation theme
Some checks are pending
fsfw/fsfw/pipeline/head Build started...
fsfw/fsfw/pipeline/pr-development This commit looks good
2023-09-21 20:02:22 +02:00