tree db5017c6c3fe9d072e2fee1896cf15913fe196d6
parent 6209bbe286b73b03c94bc886b625db3844b45c8a
author Benoit Jacob <jacob.benoit.1@gmail.com> 1212434963 +0000
committer Benoit Jacob <jacob.benoit.1@gmail.com> 1212434963 +0000

work around Doxygen bug triggered by r814874, which caused many classes to disappear
from the docs.