• François Grisez's avatar
    Several fixes around ConfigManager · 0d40c05e
    François Grisez authored
    * Remove a debug message that was printed in the standard output,
      and then could corrupt the generated configuration.
    * Add missing '[module::<module_name>]' line while generating
      the configuration for one module with '--dump-default' option.
    * Fix --rewrite-config
    0d40c05e