tree b73cbf5e4b1164792bf91a9174b17f03ecb763b5
parent 34543f5da7c668e793e831379e0b0370746a7700
author Gustavo Niemeyer <gustavo@niemeyer.net> 1318194021 -0300
committer Gustavo Niemeyer <gustavo@niemeyer.net> 1318194021 -0300

s/puts/informs/ in documentation. More proper.