build_inf_centos.sh: update the branch for g-release 42/9842/1
[pti/rtp.git] / scripts / build_inf_centos /
drwxr-xr-x   ..
-rwxr-xr-x 10890 build_inf_centos.sh
-rwxr-xr-x 11487 build_inf_prepare_jenkins.sh
drwxr-xr-x - meta-patches