rstlint: we do not use svn anymore

diff --git a/Doc/tools/rstlint.py b/Doc/tools/rstlint.py
index d742629c62123bd1c7cd09dd41fc3a069c9394f2..66dd46a53eb2e2c74954228fa2827fcfa254aa36 100755 (executable)
--- 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[:]