hi, this seems to be wrong. sorry!!! now it works... tk. - to unsubscribe from this list send an email to kdevelop-request at kdevelop.org with the following body: unsubscribe »your-email-address«