Skip to content

Fix branch names in CI doc building script#97

Merged
AntonReinhard merged 1 commit intoQEDjl-project:devfrom AntonReinhard:fix-docs-buildingSep 3, 2024

Commits

Commits on Sep 2, 2024