If anyone sent me an email during the last two days, please send it again. We have had some dns problems here... and may still have :-( Bernd. - to unsubscribe from this list send an email to kdevelop-devel-request at kdevelop.org with the following body: unsubscribe »your-email-address«