diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2008-06-28 11:45:36 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2008-06-28 11:45:36 (GMT) |
| commit | 1a92b928d6e21182ba25e3dc5b4523d32054796c (patch) | |
| tree | b28d66666e632ce6957a0fe5f2bf8a4534ad749c /scripts | |
| parent | d0a79b187aab33982cda756b67d679564d9dfbfc (diff) | |
Nicer headlines
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/report.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/report.py b/scripts/report.py index 2fa1bb7..3afba52 100644 --- a/scripts/report.py +++ b/scripts/report.py @@ -31,8 +31,7 @@ class TextWriter(object): self.out = out def write_headline(self, headline): - self.out.write(headline + '\n') - self.out.write('-' * len(headline) + '\n\n') + self.out.write('= ' + headline + ' =\n\n') def write_tickets(self, tickets, compact=False): for number, summary in tickets: |