Skip to content

Fix typo in doxygen introduction

Spotted by @dannheim.

Merge request reports