fix doc gen #7

Merged
chacha merged 1 commits from dev into master 2023-09-30 01:51:05 +02:00
Owner
chacha added 1 commit 2023-09-30 01:50:58 +02:00
chacha merged commit 4263bfc299 into master 2023-09-30 01:51:05 +02:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: chacha/chacha_cicd_helper#7