[darcs-users] darcs patch: added --ignore-times to darcs record calls in bugs/hid...

Benjamin Franksen benjamin.franksen at bessy.de
Mon Jun 9 09:05:47 UTC 2008


ben.franksen at online.de wrote:

> Sun Jun  8 13:04:02 CEST 2008  ben.franksen at online.de
>   * added --ignore-times to darcs record calls in bugs/hidden-conflict.sh

Sorry, please ignore, I sent before understanding Eric's reply.

Cheers
Ben



More information about the darcs-users mailing list