Issue #5262: Improved fix.
[python.git] / Doc / tools / 
treeaf25073b525fe091072a30b3091abea29e4b97ad
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