Skip to content
Snippets Groups Projects

[doxygen] Replace shell script modification by javascript add-on

Passed
Timo Koch created pipeline for commit 327859de
, finished
Related merge request !3416 to merge doxygen/remove-shell-script
Child pipeline ( parent ) merge request
8 jobs 4 minutes 1 second, queued for 4 seconds