diff options
| -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[:] |