#7 Fix drone pipeline and man page

Merged
pberr merged 1 commits from 0.6r10 into 0.6-dev 3 years ago
pberr commented 3 years ago
Owner
There is no content yet.
pberr added 1 commit 3 years ago
pberr merged commit da0e6e456b into 0.6-dev 3 years ago
The pull request has been merged as da0e6e456b.
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.

Loading…
There is no content yet.