Sébastien Loriot 2dfe8a3d73 workaround for a doxygen bug: remove space after /!* to avoid a verbatim env ... this happens if you have an empty line or the text directly after /!* to find them in the generated documentation, grep for "pre class=\"fragment\"" (a few of them are legitimate however)		2013-07-25 14:58:53 +02:00
..
EnvelopeDiagramEdge.h	workaround for a doxygen bug: remove space after /!* to avoid a verbatim env	2013-07-25 14:58:53 +02:00
EnvelopeDiagramVertex.h	workaround for a doxygen bug: remove space after /!* to avoid a verbatim env	2013-07-25 14:58:53 +02:00
EnvelopeDiagram_1.h	workaround for a doxygen bug: remove space after /!* to avoid a verbatim env	2013-07-25 14:58:53 +02:00