On Fri, Jul 18, 2014 at 11:32:57AM +0200, Matthias Gerstner wrote: > Having the configuration file options is sensible. I still find having > the explicit command line variant useful as most (or all?) other diff > related options are also there.
This duplication exists for historical reasons, but I don't think we want to encourage any more of it. See the --config-option option.
