Add version selector to documentation #120
Owner
No description provided.
OragonEfreet
added 1 commit 2026-05-31 17:11:56 +02:00
All checks were successful
Documentation / build-docs (pull_request) Successful in 10s
Details
QA / cert (pull_request) Successful in 28s
Details
Build and Test / linux-linux-gcc (pull_request) Successful in 17s
Details
Build and Test / linux-windows-mingw (pull_request) Successful in 26s
Details
enhancement
label
Add version selector to documentation
Add version selector to documentation
No reviewers
Labels
No labels
bug
duplicate
enhancement
help wanted
invalid
question
wontfix
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
OragonEfreet/banjo!120
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "docs_deploy"
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?