Doxygen
@croussel this is the same as your branch, except the history has been squashed into a single commit so as not to have the PDF in history. If it's ok with you we can merge this right now.
It's intended to replace !13 (closed)
@croussel this is the same as your branch, except the history has been squashed into a single commit so as not to have the PDF in history. If it's ok with you we can merge this right now.
It's intended to replace !13 (closed)