Skip to content

sphinx: add the crudini tool

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


Migrated from D749 (view on Phabricator)

Merge request reports