14 Jun
2013
14 Jun
'13
5:33 p.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