| 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, '/')
|
|
|