tree 9614451a821b6a9c828ef3947fa295d2902f9eaf
parent 15a30ec1fd8bffb17a1d55cec173967b28d048db
author Gustavo Niemeyer <gustavo@niemeyer.net> 1330189117 -0200
committer Gustavo Niemeyer <gustavo@niemeyer.net> 1330189117 -0200

- Renamed Bug to Commentf.
- Print end-of-line comments next to the checks.