Skip to content
Snippets Groups Projects
Commit 45fa74f0 authored by Santiago Ospina De Los Ríos's avatar Santiago Ospina De Los Ríos
Browse files

Merge branch 'feature/generate-and-install-config-file-per-module' into 'master'

Split config file into public and private config files

Closes #234

See merge request !1262
parents f7336f47 b4f84475
Branches
Tags
Loading
Pipeline #66371 passed with warnings
Pipeline: Dune Nightly Test

#66373

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