On Wed, Jul 13, 2005 at 03:27:47PM +0200, Michael Banck wrote: > I guess having (another, *sigh*) configuration option here would be > feasable, but I maintain the default should stay as it is. Feel free to > send a patch for that. > > Maybe the others have a different opinion on this. >
Oh well, same opinion :) -- Francesco P. Lovergine -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
