Emmanuel Arias b6c99afade Add note explaining the Docs PR deploy (#8622) ... Add a note to explain that documentation is deployed readthedocs for each PR.		2020-07-27 18:26:41 +02:00
..
html	Add note explaining the Docs PR deploy (#8622)	2020-07-27 18:26:41 +02:00
man	[commands/cache] Minor clean-up.	2020-04-01 16:54:42 -04:00
pip_sphinxext.py	docs: Improve prefix calculation of reqfile option autogeneration	2020-06-01 21:56:59 +03:00