Skip to content

Remove extra -v in smoke-tests.sh

Created by: math-gout

There was an extra '-v' in verif/regress/smoke-tests.sh.

Merge request reports

Loading