Commit ce5fd206 authored by André Anjos's avatar André Anjos 💬

Merge branch 'make_install_more_flexible' into 'master'

Make install more flexible

See merge request !418
parents 3ae3ba7d 46f65300
Pipeline #47887 passed with stages
in 20 minutes and 5 seconds