On Sun, Dec 11, 2005 at 12:16:17AM +0100, Christoph Hellwig wrote: > On Sat, Dec 10, 2005 at 11:40:55PM +0100, maximilian attems wrote: > > so currently i'd vote for removing that patch. > > happy to hear your opinion? :) > > Yes, please kill it. It's far too messy for it's own sake. It being the patch; or ide-generic ? Friendly; Sven Luther