Commit 832fcfdb by Jan Möbius

Merge branch 'fix_doxygen' into 'master'

Fix doxygen

See merge request !16
parents ae2a9f95 97dbc727
Pipeline #4112 passed with stage
in 3 minutes 41 seconds