Skip to content
Snippets Groups Projects

[doc] Fix the license comment in build system RST

Merged [doc] Fix the license comment in build system RST
feature/fix-license-comment-rst into master
Merged Christoph Grüninger requested to merge feature/fix-license-comment-rst into master
Status
Pipeline
Created by
Stages
Actions
Passed

01:30:54

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

#61229

    Download artifacts

    No artifacts found