SEA-265 Improvement of configure task

grisp / rebar3_grisp

Rebar plug-in for GRiSP

https://www.grisp.org

Apache License 2.0

21 stars 10 forks source link

Closed GwendalLaurent closed 4 months ago

GwendalLaurent commented 5 months ago

This PR is linked to the PR SEA-265 improvement of configure task in grisp_tools.

In this specific PR:

Adaptation of the new setting format given provided by grisp_tools_configure:settings/0
A new type of event is added to handle input request to the user