Merge "CI: Update RTD configuration file"
[pti/rtp.git] / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 6139 build_inf.sh
drwxr-xr-x - build_inf_centos
drwxr-xr-x - build_inf_debian
drwxr-xr-x - build_inf_yocto