Skip to content
Snippets Groups Projects

[doc] improve dunecontrol man page

Merged [doc] improve dunecontrol man page
improve-man-page into master
Merged Christian Engwer requested to merge improve-man-page into master

Merge request reports

Pipeline #64546 canceled

Stage: .pre
Stage: test
Stage: downstream

Pipeline canceled for 4657c9f3 on improve-man-page

Approval is optional

Merged by Oliver SanderOliver Sander 1 year ago (Sep 20, 2023 1:04pm UTC)

Merge details

  • Changes merged into with fac23aa9.
  • Deleted the source branch.
  • Auto-merge enabled

Pipeline #64549 passed with warnings

Stage: .pre
Stage: test
Stage: downstream
Pipeline: Dune Nightly Test

#64560

    Pipeline passed with warnings for fac23aa9 on master

    Activity

    Filter activity
    • Approvals
    • Assignees & reviewers
    • Comments (from bots)
    • Comments (from users)
    • Commits & branches
    • Edits
    • Labels
    • Lock status
    • Mentions
    • Merge request status
    • Tracking
    Please register or sign in to reply