From c9740ec502ca62ace154523d82a1a6861cafa0e4 Mon Sep 17 00:00:00 2001 From: Jonathan Corbet Date: Mon, 30 Dec 2013 16:04:18 -0700 Subject: [PATCH] Formatting tweak and a useful comment This tool really shouldn't be used at this point; it's mostly there for hysterical interest... --- committags | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/committags b/committags index 0ddd36f..c3b04ba 100755 --- a/committags +++ b/committags @@ -92,7 +92,7 @@ for line in input.readlines(): # nc += 1 if (nc % 25) == 0: - print '%6d %s %s\r' % (nc, commit[:8], tag), + print '%6d %s %s \r' % (nc, commit[:8], tag), sys.stdout.flush() print '\nFound %d/%d commits' % (nc, len(DB.keys())) -- 2.11.4.GIT