Adding the patch directly to at the server seem to have worked. On Thu, Jul 3, 2008 at 8:25 AM, Jean-Philippe Bernardy <[EMAIL PROTECTED]> wrote: > Hi, > > Apparently I'm facing a darcs bug: > > Celebrian:yi_0 bernardy$ darcs add Yi/Editor.hs-boot > The following file is already in the repository; > note that to ensure portability we don't allow > files that differ only in case. Use --case-ok to override this: > Yi/Editor.hs-boot > > darcs failed: No files were added > > whereas I don't see any such file. > Does anybody know how to fix the problem? > > btw; the file should contain only: > > module Yi.Editor where data Editor > > Thanks, > -- JP >
--~--~---------~--~----~------------~-------~--~----~ Yi development mailing list [email protected] http://groups.google.com/group/yi-devel -~----------~----~----~----~------~----~------~--~---
