Skip to content
Snippets Groups Projects
Commit d1451441 authored by Sergi Hernandez's avatar Sergi Hernandez
Browse files

Merge branch 'ubuntu_18_04' into 'master'

Added add_lib_to_ld_config.sh and remove_lib_from_ld_config.sh user scripts....

See merge request !2
parents 6da64934 5cf63596
No related branches found
No related tags found
Loading
Pipeline #12206 failed