[darcs-users] darcs patch: fixed accidental merge of two lines in default boring; ...

David Roundy droundy at darcs.net
Tue Oct 7 19:41:02 UTC 2008


On Tue, Oct 07, 2008 at 09:26:00PM +0200, ben.franksen at online.de wrote:
> Tue Oct  7 20:52:33 CEST 2008  ben.franksen at online.de
>   * fixed accidental merge of two lines in default boring; removed pattern for directory "dist"

Applied, thanks!

David


More information about the darcs-users mailing list