Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove custom robots.txt in favor of RTD default (#4055)
* Remove custom robots.txt Signed-off-by: Dmitry Sorokin <[email protected]> * Remove link to robots.txt from conf.py Signed-off-by: Dmitry Sorokin <[email protected]> * Update docs/source/conf.py Co-authored-by: Juan Luis Cano Rodríguez <[email protected]> Signed-off-by: Dmitry Sorokin <[email protected]> --------- Signed-off-by: Dmitry Sorokin <[email protected]> Signed-off-by: Dmitry Sorokin <[email protected]> Co-authored-by: Juan Luis Cano Rodríguez <[email protected]> Co-authored-by: Nok Lam Chan <[email protected]>
- Loading branch information