Skip to content

Doxygen fixes

Jakob Maljaars requested to merge doxygen-fixes into master

Some doxygen fixes, should now:

  • correctly link to the "Related pages/Design" page from the main page
  • correctly embed the "design" figure
  • print the timestamp indicating when the page was generated

Merge request reports