14 Jun
2013
14 Jun
'13
11:33 a.m.
On Fri, Jun 14, 2013 at 10:33 AM, Dieter Adriaenssens <dieter.adriaenssens@gmail.com> wrote:
Yes, that's correct. The new setting should also be documented in the docfile doc/config.rst and be added to the setup script (as Rouslan mentioned).
I will put it in the features/other core options in the setup script unless you have a better place