[darcs-devel] darcs patch: Fix issue367 - pull help message. (and 1 more)

[Tommy Pettersson]

On Sun, Dec 31, 2006 at 07:01:08PM +0100, Eric Kow wrote:
> Sun Dec 31 18:43:22 CET 2006  Eric Kow <eric.kow at gmail.com>
>   * Fix issue367 - pull help message.
> 
> Sun Dec 31 19:00:24 CET 2006  Eric Kow <eric.kow at gmail.com>
>   * Fix issue376 - inconsistent punctuation in darcs get.

In the listing of grep !\" *.lhs *.hs dwells a few more lines
where darcs a bit overly, in my opinion, exclaims the completion
of a task or finding of no errors.

Optimize.lhs:106:    putStrLn "Done optimizing!"
Check.lhs:124:        putInfo $ text "The repository is consistent!"

Would anyone object if I sent a patch "fixing" these two?


-- 
Tommy Pettersson <ptp at lysator.liu.se>