Skip to content

DuneDoxygen: also install *.js

Ansgar Burchardtrequested to merge
feature/doxygen-install-js into master

This is needed for the menu at the top to work.

Merge request reports