On 12/6/07, Zbigniew Zagórski <[EMAIL PROTECTED]> wrote: > and looks like your filesystem is case insensitive (JDEbug.java is > same as Jdebug.java).
Aha! Thanks! What's funny is that this happened soon after I deleted the entire directory containing "JDEbug.java". The act of deleting it seems to have created the duplication with respect to case. The other duplicate file, in "vm-7.18", I hadn't touched in a long time. I'm surprised that it suddenly caused a problem. I'll try fixing this on a case-sensitive machine soon. Thanks again! _______________________________________________ Monotone-devel mailing list Monotone-devel@nongnu.org http://lists.nongnu.org/mailman/listinfo/monotone-devel
