Add an empty line between groups when the group IDs are not shown.
authorFrancois Fleuret <francois@fleuret.org>
Wed, 10 Mar 2010 21:46:24 +0000 (22:46 +0100)
committerFrancois Fleuret <francois@fleuret.org>
Wed, 10 Mar 2010 21:46:24 +0000 (22:46 +0100)

No differences found