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?

Reply via email to