-
Antonio Cardace authored
We should prefer 'set_simple_option()' since it retrieves a value for the option if set or the default one otherwise.
4dcfa48c
We should prefer 'set_simple_option()' since it retrieves a value for the option if set or the default one otherwise.