diff options
author | Georg Brandl <georg@python.org> | 2014-10-30 21:44:41 (GMT) |
---|---|---|
committer | Georg Brandl <georg@python.org> | 2014-10-30 21:44:41 (GMT) |
commit | 2273b096ce204e3115d8394c8acb070877881ec6 (patch) | |
tree | 62a46e7449f41c349bd82c3a65ad23075dfb3880 | |
parent | 95988f98ea0e9d9d9e6c87d44686b153de097067 (diff) | |
download | cpython-2273b096ce204e3115d8394c8acb070877881ec6.zip cpython-2273b096ce204e3115d8394c8acb070877881ec6.tar.gz cpython-2273b096ce204e3115d8394c8acb070877881ec6.tar.bz2 |
rstlint: we do not use svn anymore
-rwxr-xr-x | Doc/tools/rstlint.py | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Doc/tools/rstlint.py b/Doc/tools/rstlint.py index d742629..66dd46a 100755 --- a/Doc/tools/rstlint.py +++ b/Doc/tools/rstlint.py @@ -173,10 +173,6 @@ Options: -v verbose (print all checked file names) count = defaultdict(int) for root, dirs, files in os.walk(path): - # ignore subdirs controlled by svn - if '.svn' in dirs: - dirs.remove('.svn') - # ignore subdirs in ignore list if abspath(root) in ignore: del dirs[:] |