26 Oct
2018
26 Oct
'18
12:23 p.m.
Edward Diener wrote:
I would like to merge parameter_python to 'master' from 'develop'. Does anybody see anything wrong with this ?
Not I.
There are also some of Peter Dimov's fixes to the doc jamfile in 'develop'.
And these fixes are necessary for the documentation to actually build. The documentation build for `parameter` never worked, but nobody noticed because the .html files are in the repo and were being used. So yes, this needs to be merged.