Skip to content

Automatic update of Docs for Distro v2024.11.0#375

Merged
pattacini merged 1 commit intomasterfrom
automatic-update-docs-distro-v2024.11.0
Dec 6, 2024
Merged

Automatic update of Docs for Distro v2024.11.0#375
pattacini merged 1 commit intomasterfrom
automatic-update-docs-distro-v2024.11.0

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Dec 6, 2024

This PR has been triggered with the following options:

  • Superbuild tag: v2024.11.0
  • Initial distro to document: 2022.02.0.

@pattacini pattacini merged commit 09fd62a into master Dec 6, 2024
@pattacini pattacini deleted the automatic-update-docs-distro-v2024.11.0 branch December 6, 2024 09:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants