From dac80f243f88b6513802407235497abeebd0ce2e Mon Sep 17 00:00:00 2001 From: Fabian Affolter Date: Mon, 4 Mar 2013 08:13:15 +0000 Subject: testing/erlang: patch renamed --- testing/gitstats/output.patch | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 testing/gitstats/output.patch (limited to 'testing/gitstats/output.patch') diff --git a/testing/gitstats/output.patch b/testing/gitstats/output.patch deleted file mode 100644 index 118a4cbb34..0000000000 --- a/testing/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() -- cgit v1.2.3