Sorry, had an old version. Problem solved ! Thank you Eggert -- Diese Mail wurde versendet durch www.berlin.de - to unsubscribe from this list send an email to kdevelop-request at kdevelop.org with the following body: unsubscribe »your-email-address«