diff options
Diffstat (limited to 'testing/gitstats/gitstats-output.patch')
| -rw-r--r-- | testing/gitstats/gitstats-output.patch | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/testing/gitstats/gitstats-output.patch b/testing/gitstats/gitstats-output.patch deleted file mode 100644 index 118a4cbb34..0000000000 --- a/testing/gitstats/gitstats-output.patch +++ /dev/null @@ -1,15 +0,0 @@ ---- gitstats/gitstats.orig -+++ gitstats/gitstats -@@ -1376,10 +1376,8 @@ - exectime_internal = time_end - time_start - print 'Execution time %.5f secs, %.5f secs (%.2f %%) in external commands)' % (exectime_internal, exectime_external, (100.0 * exectime_external) / exectime_internal) - if sys.stdin.isatty(): -- print 'You may now run:' -- print -- print ' sensible-browser \'%s\'' % os.path.join(outputpath, 'index.html').replace("'", "'\\''") -- print -+ print 'The report is available at:' -+ print '\'%s\'' % os.path.join(outputpath, 'index.html').replace("'", "'\\''") - - if __name__=='__main__': - g = GitStats() |