-
Thomas Daede authored
The documentation currently fails to build on Jenkins due to hyperref and doxygen not playing nicely with each other on Debian Stretch.
e46f46a5
The documentation currently fails to build on Jenkins due to hyperref and doxygen not playing nicely with each other on Debian Stretch.