Commit 1047212f authored by Dominique Marcadet's avatar Dominique Marcadet

Merge branch '10-add-warning-level-option-on-the-command-line' into 'master'

Resolve "add warning level option on the command line"

Closes #10

See merge request !10
parents e229d67d 0d5bd596
Pipeline #7559 passed with stages
in 23 seconds