When open_urlresource() fails, HTTPException is another possible error
[python.git] / Doc / tools / 
tree53629bbc6c291db074f091c01f2a8a0402262e8c
drwxr-xr-x   ..
-rw-r--r-- 2686 roman.py
-rwxr-xr-x 7587 rstlint.py
-rw-r--r-- 607 sphinx-build.py
drwxr-xr-x - sphinxext