build_inf_centos: add option to use mirrors
[pti/rtp.git] / .readthedocs.yaml
2019-11-04 weichenadd doc config files and doc [Dinitial draft 39/1339/1