|
From: | graydon hoare |
Subject: | [Monotone-devel] Re: propagate failure: usage constaint |
Date: | Fri, 28 May 2004 15:24:01 -0400 |
User-agent: | Mozilla Thunderbird 0.5 (X11/20040208) |
Peter Simons wrote:
Yes, that sounds about right. At least in my particular case, that would work perfectly.
ok, try out 5134799f28107a33f996867629a4093772269987 , it does the delete renaming. -graydon
[Prev in Thread] | Current Thread | [Next in Thread] |