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

[David Roundy]

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!

David