Fix hyperlink in doxygen
Broken by commit 70d6897eb6edc8cc0a5b80e4777e8e54440cd595
M
Markus Vieth committed
b881b7d06807f7a03ee6a43b5175ecb9b3df79f8
Parent: beda525
Broken by commit 70d6897eb6edc8cc0a5b80e4777e8e54440cd595