Commit 4d38707c authored by Michaël Roynard's avatar Michaël Roynard

Merge branch 'dev' into 'master'

Switch to a less intrusive cmake integration

See merge request !9
parents 71e5c7e7 8bf81f8b
Pipeline #7335 failed with stages
in 33 seconds