[darcs-users] darcs patch: cleanup default boring

David Roundy droundy at darcs.net
Sun Oct 12 16:53:19 UTC 2008


On Sun, Oct 12, 2008 at 01:45:48AM +0200, ben.franksen at online.de wrote:
> Sun Oct 12 01:41:48 CEST 2008  ben.franksen at online.de
>   * cleanup default boring
>   
>   Also turn default_boring and default_binaries into (pure) CAFs.

Applied, thanks!

David


More information about the darcs-users mailing list