[darcs-users] darcs patch: finished cleanup of default_boring entries

David Roundy droundy at darcs.net
Tue Oct 14 12:47:12 UTC 2008


On Tue, Oct 14, 2008 at 08:11:16AM -0400, David Roundy wrote:
> On Tue, Oct 14, 2008 at 12:01:41PM +0200, benjamin.franksen at bessy.de wrote:
> > This is my previous patch amended to better reflect gnu arch's
> > funky file names. Thanks to Andy Smith for pointing me to the arch wiki.
> > 
> > Tue Oct 14 11:59:43 CEST 2008  benjamin.franksen at bessy.de
> >   * finished cleanup of default_boring entries
> 
> Applied, thanks!

As it turns out, this patch fails to compile...

David


More information about the darcs-users mailing list