sphinx: add the crudini tool (!3) · Merge requests · Platform / Infrastructure / CI CD / Dockerfiles for Jenkins · GitLab

David Douard requested to merge generated-differential-D749-source into generated-differential-D749-target Nov 30, 2018

so we can easily manipulate the .mrconfig file (ie. delete unwanted sections).

Migrated from D749 (view on Phabricator)