diff options
author | Rafael Saraiva Figueiredo <rafael.saraiva132@gmail.com> | 2022-03-18 16:21:18 +0000 |
---|---|---|
committer | Matthias Beyer <mail@beyermatthias.de> | 2022-03-22 07:56:34 +0100 |
commit | be7afe91c988169b217971a169acd89f74e50121 (patch) | |
tree | 0aabc3371f36a434c5c7c4763b510b8753b602db /examples | |
parent | d2d356142430723bbfed102cf8dc41e6fd0aa84e (diff) |
Add ConfigBuilder::set_override_option()
This patch adds ConfigBuilder::set_override_option() to override a
setting from an Option<_>.
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions