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

2020-12-03 11:35:12 +01:00

..

empty_settings.yml

[enh] settings.yml: add use_default_settings option (2nd version)

2020-11-27 19:40:04 +01:00

syntaxerror_settings.yml

[enh] settings.yml: add use_default_settings option (2nd version)

2020-11-27 19:40:04 +01:00

user_settings_keep_only.yml

[enh] settings.yml: add use_default_settings option (2nd version)

2020-11-27 19:40:04 +01:00

user_settings_remove2.yml

[enh] settings.yml: add use_default_settings option (2nd version)

2020-11-27 19:40:04 +01:00

user_settings_remove.yml

[enh] settings.yml: add use_default_settings option (2nd version)

2020-11-27 19:40:04 +01:00

user_settings_simple.yml

[fix] settings_loader: don't crash when a key exists only in the user settings

2020-12-03 11:35:12 +01:00

user_settings.yml

[enh] settings.yml: add use_default_settings option (2nd version)

2020-11-27 19:40:04 +01:00