diff options
| author | Alexandre Flament <alex@al-f.net> | 2020-12-03 11:35:12 +0100 |
|---|---|---|
| committer | Alexandre Flament <alex@al-f.net> | 2020-12-03 11:35:12 +0100 |
| commit | d0d7a3e1c2d75fb0d9be3594ab113a804e4462a4 (patch) | |
| tree | 9980b24421de0b12670b2ede2edc42a73ba6df42 /utils/makefile.sphinx | |
| parent | 89fbb85d454959be725cd4ca19c36c31d05d3289 (diff) | |
[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
Diffstat (limited to 'utils/makefile.sphinx')
0 files changed, 0 insertions, 0 deletions