Skip to content
Snippets Groups Projects
Commit 30fe4dc3 authored by Christoph Grüninger's avatar Christoph Grüninger
Browse files

Merge branch 'feature/fix-license-comment-rst' into 'master' 

[doc] Fix the license comment in build system RST

See merge request !1244
parents afcd5a78 0caa67e5
No related branches found
No related tags found
1 merge request!1244[doc] Fix the license comment in build system RST
Pipeline #61231 passed
Stage: .pre
Stage: test
Stage: downstream
Pipeline: Dune Nightly Test

#61232

    Hide whitespace changes
    Inline Side-by-side
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment