Commit 0658772c authored by Víctor Vázquez Rodríguez's avatar Víctor Vázquez Rodríguez

Merge branch 'devel' into 'master'

Update build system and dependecy management

See merge request !1
parents 145aaaf0 481e2d6e
Pipeline #1870 failed with stage