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
fsfw/fsfw/pipeline/head Build started... Details
fsfw/fsfw/pipeline/pr-development This commit looks good Details
3d54895251
switch documentation theme
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
fsfw/fsfw/pipeline/pr-development This commit looks good Details
b53bf2ea12
Merge branch 'development' into switch-doc-theme-to-rtd
muellerr added 1 commit 2023-10-25 10:31:18 +02:00
fsfw/fsfw/pipeline/pr-development This commit looks good Details
7285dd6bac
update automation files
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.