diff options
Diffstat (limited to 'tools/gitwash_dumper.py')
-rwxr-xr-x | tools/gitwash_dumper.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/gitwash_dumper.py b/tools/gitwash_dumper.py index 000245a..b002f65 100755 --- a/tools/gitwash_dumper.py +++ b/tools/gitwash_dumper.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 ''' Checkout gitwash repo into directory and do search replace on name ''' import os @@ -84,7 +84,7 @@ def copy_replace(replace_pairs, for rep_glob in rep_globs: fnames += fnmatch.filter(out_fnames, rep_glob) if verbose: - print '\n'.join(fnames) + print('\n'.join(fnames)) for fname in fnames: filename_search_replace(replace_pairs, fname, False) for in_exp, out_exp in renames: |