From 2273b096ce204e3115d8394c8acb070877881ec6 Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Thu, 30 Oct 2014 22:44:41 +0100 Subject: rstlint: we do not use svn anymore --- Doc/tools/rstlint.py | 4 ---- 1 file changed, 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[:] -- cgit v0.12