Wow! It is great to see how much you (and Bernd) have done in so little time... Congratulations!
This is what we can base our documentation on, the question is: do we convert it into doctools or keep as html?
Wow! It is great to see how much you (and Bernd) have done in so little time... Congratulations!
This is what we can base our documentation on, the question is: do we convert it into doctools or keep as html?