On Tue, Aug 02, 2005 at 05:05:09AM +0200, Matthias Andree wrote: > David Roundy <[EMAIL PROTECTED]> writes: > > > That would be pretty easy, but also not terribly informative. A more > > "correct" date would be chosen according to when that particular file was > > actually modified. But that would also be an expensive date to > > determine. > > That is unreliable - you'd only use the time of the "record" operation.
That's the only time that we have. -- David Roundy http://www.darcs.net _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
