From 28e26620cd9cd49877039982cf20c20592e1c960 Mon Sep 17 00:00:00 2001 From: "Eric S. Raymond" Date: Thu, 11 Mar 2004 02:18:04 +0000 Subject: [PATCH] Add dividers again. --- filterator | 2 ++ 1 file changed, 2 insertions(+) diff --git a/filterator b/filterator index 47622b5..ee1284c 100755 --- a/filterator +++ b/filterator @@ -14,6 +14,7 @@ def shortreport(clique): rep += "%% %s:%d-%d: (%d matches)\n" % \ (file, start, end, len(clique)) rep += text + rep += 75 * "-" + "\n" return rep def longreport(clique): @@ -25,6 +26,7 @@ def longreport(clique): else: rep += "%% %s:%d-%d:\n" % (file, start, end) rep += text + rep += 75 * "-" + "\n" return rep if __name__ == '__main__': -- 2.43.0