Removed the double hyphen when printing the fancy results.
authorFrancois Fleuret <francois@fleuret.org>
Sun, 6 Mar 2011 18:54:13 +0000 (19:54 +0100)
committerFrancois Fleuret <francois@fleuret.org>
Sun, 6 Mar 2011 18:54:13 +0000 (19:54 +0100)

No differences found