Index: tools/list_files.py |
diff --git a/tools/list_files.py b/tools/list_files.py |
old mode 100644 |
new mode 100755 |
index 1b10b627f513ffbd2d92e59a44737ebc0cec96af..ad277e853f0a03c851b03b4f0ac9f37ca592c4f0 |
--- a/tools/list_files.py |
+++ b/tools/list_files.py |
@@ -18,8 +18,8 @@ def main(argv): |
pattern = re.compile(argv[1]) |
for directory in argv[2:]: |
for root, directories, files in os.walk(directory): |
- if '.svn' in directories: |
- directories.remove('.svn') |
+ if '.git' in directories: |
+ directories.remove('.git') |
for filename in files: |
fullname = os.path.relpath(os.path.join(root, filename)) |
fullname = fullname.replace(os.sep, '/') |