Re: Profiles/manifests-related command line interface enhancements

[zimoun]

Hi Konrad,

On Sun, 17 Nov 2019 at 11:45, Konrad Hinsen <address@hidden> wrote:

> For a long version of these arguments, see
>    https://hal.archives-ouvertes.fr/hal-01966145/document

Thank you for the pointer.
I missed it months ago. :-)

So, you propose to "enrich" the DSL describing the manifest files, right?


All the best,
simon