2 Commits (9937a908c0de3b8fcbaf155e0e46de1da2d4a1cb)

Author	SHA1	Message	Date
Alexandre Flament	d0d7a3e1c2	[fix] settings_loader: don't crash when a key exists only in the user settings ... typical use case: result_proxy can be defined in the user settings, but are not defined the default settings.yml	4 years ago
Alexandre Flament	b4b81a5e1a	[enh] settings.yml: add use_default_settings option (2nd version)	4 years ago