Skip to content
Snippets Groups Projects
Commit 1ed2b2a6 authored by Andreas Dedner's avatar Andreas Dedner
Browse files

Merge branch 'feature/pymainAddMake' into 'master'

add a 'make' command to the dune main module. Usage

See merge request core/dune-common!1278
parents aa634a87 b0de0fa8
No related branches found
No related tags found
1 merge request!1278add a 'make' command to the dune main module. Usage
Pipeline #64445 passed with warnings
Pipeline: Dune Nightly Test

#64450

    Loading
    0% Loading or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Please register or to comment