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
Owner
No description provided.
muellerr added 1 commit 2023-09-21 20:02:37 +02:00
switch documentation theme
Some checks are pending
fsfw/fsfw/pipeline/head Build started...
fsfw/fsfw/pipeline/pr-development This commit looks good
3d54895251
muellerr requested review from mohr 2023-09-21 20:02:43 +02:00
muellerr added this to the vNext milestone 2023-09-21 20:02:45 +02:00
muellerr added 1 commit 2023-10-25 10:29:01 +02:00
Merge branch 'development' into switch-doc-theme-to-rtd
All checks were successful
fsfw/fsfw/pipeline/pr-development This commit looks good
b53bf2ea12
muellerr added 1 commit 2023-10-25 10:31:18 +02:00
update automation files
All checks were successful
fsfw/fsfw/pipeline/pr-development This commit looks good
7285dd6bac
mohr approved these changes 2023-10-25 10:33:34 +02:00
mohr merged commit c5bf5389b8 into development 2023-10-25 10:35:16 +02:00
mohr deleted branch switch-doc-theme-to-rtd 2023-10-25 10:35:16 +02:00
Sign in to join this conversation.
No description provided.