Re: Developers' wiki: To be or not to be?

[Bo Peng]

I don't think that we need a separate devel wiki.

I do not see an immediate use of devel wiki, but can doxygen generated
source doc be hosted somewhere?

Bo