switch documentation theme #755
Owner
No description provided.
muellerr
added 1 commit 2023-09-21 20:02:37 +02:00
Some checks are pending
fsfw/fsfw/pipeline/head Build started...
Details
fsfw/fsfw/pipeline/pr-development This commit looks good
Details
muellerr
added 1 commit 2023-10-25 10:29:01 +02:00
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
All checks were successful
fsfw/fsfw/pipeline/pr-development This commit looks good
Details
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?