Skip to content

doxygen: (fixes #398) warning.report.sh - ignore warnings if the filter is empty

This would greatly simplify the actual (horrible) trick I made in the CI script

Merge request reports