Skip to content

Merge branch 'feature/doxygen-install-js' into 'master'

Ansgar Burchardt requested to merge cherry-pick-3fcb1cf2 into releases/2.5

DuneDoxygen: also install *.js

See merge request !227 (merged)

Merge request reports