Skip to content
Snippets Groups Projects
Select Git revision
20 results
Compare
user avatar
Merge branch 'fix-119' into 'master'
Tiago de Freitas Pereira authored 
Using the proper verify script depending on system

Closes #119

See merge request !156
f97e3312
History
user avatar f97e3312
History
Name Last commit Last update