Skip to content
Snippets Groups Projects

Merge branch '16-give-option-to-output-messages-in-a-file' into 'master'

Passed
Dominique Marcadet created pipeline for commit 35b4816e
, finished
For 17-if-output-is-the-last-option-the-output-file-is-also-considered-as-an-scl-file
2 jobs 40 seconds, queued for 2 seconds