switch documentation theme #755
muellerr
commented 2023-09-21 20:02:37 +02:00
Owner
No description provided.
muellerr
added 1 commit 2023-09-21 20:02:37 +02:00
switch documentation theme
3d54895251
Some checks are pending
fsfw/fsfw/pipeline/head Build started...
Details
fsfw/fsfw/pipeline/pr-development This commit looks good
Details
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
b53bf2ea12
All checks were successful
fsfw/fsfw/pipeline/pr-development This commit looks good
Details
muellerr
added 1 commit 2023-10-25 10:31:18 +02:00
update automation files
7285dd6bac
All checks were successful
fsfw/fsfw/pipeline/pr-development This commit looks good
Details
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
mohr
referenced this issue from a commit 2023-10-25 10:35:17 +02:00
Merge pull request 'switch documentation theme' (#755) from switch-doc-theme-to-rtd into development
No reviewers
Labels
No Label
API Change
Breaking API Change
bug
build
cosmetics
Documentation
duplicate
feature
help wanted
hotfix
invalid
question
Refactor
Tests
wontfix
No Milestone
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: fsfw/fsfw#755
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "switch-doc-theme-to-rtd"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?