On Monday 22 September 2003 22:11, cantabile wrote: Just noticed Bernd already posted the same workaround. Sorry for the noise. g - to unsubscribe from this list send an email to kdevelop-request at kdevelop.org with the following body: unsubscribe »your-email-address«