402
402
self.remove_user_option('default_mergetool')
406
406
if self.find_merge_tool(name) is None:
407
407
raise errors.BzrError('invalid merge tool name: %r' % name)
408
408
trace.mutter('setting default merge tool: %s', name)
412
412
class IniBasedConfig(Config):