Skip to content
Snippets Groups Projects
Commit 9ef5d4d5 authored by Simon Praetorius's avatar Simon Praetorius
Browse files

Merge branch 'feature/dune-library-add-sources-cleanup' into 'master' 

Simplify dune_library_add_sources by using target_sources

See merge request !1010
parents 55a25fdf a4170afe
Branches
Tags
1 merge request!1010Simplify dune_library_add_sources by using target_sources
Pipeline #40285 passed
Stage: test
Stage: downstream
Pipeline: Dune Nightly Test

#40289

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