Hi, On Mon, Sep 16, 2002 at 08:18:36AM +0200, Sylvain Petreolle wrote: > Add .libs to .cvsignore in backend/,frontend/ and tools/ . Thanks for the patch. I have added something similar to CVS. Sorry for my ignorance: how can I directly apply such patches to my local CVS repository? Any special options for the "patch" program? Bye, Henning