tree ad4ad069ab3cd3fc368e17d9bcdad6710d0d178a
parent a6c3fd5fcc828bd8715b540d807069bca8f6515d
author Gustavo Niemeyer <gustavo@niemeyer.net> 1295201439 -0200
committer Gustavo Niemeyer <gustavo@niemeyer.net> 1295201439 -0200

Minor formatting improvements.