07/11/2013 10:27, Olivier MATZ : > I think you should provide a pointer to the doxygen documentation > in the commit log to explain the modification. Maybe this one is > appropriate: > http://www.stack.nl/~dimitri/doxygen/manual/preprocessing.html > > About the patch itself, it looks good to me.
Thanks for your comment. It is pushed. -- Thomas