Skip to content
Snippets Groups Projects

Fix dead link in doc

Merged Fix dead link in doc
1-dead_link into main
Merged Cresson Remi requested to merge 1-dead_link into main

Closes #1 (closed)

Merge request reports

Checking pipeline status.

Approval is optional

Merged by Cresson RemiCresson Remi 1 year ago (Apr 4, 2023 7:27pm UTC)

Merge details

Pipeline #171451 passed

Stage: Static Analysis
    Stage: Install
      Stage: Documentation
        Stage: Ship
          Stage: deploy

            Pipeline passed for 32a45172 on main

            Activity

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