Hi there, I don't know why, but the previous mail was sent many days ago, and arrived now! :-( Regards, OmiD - to unsubscribe from this list send an email to kdevelop-request at kdevelop.org with the following body: unsubscribe »your-email-address«