RENAME For files in the project, a user should want to change the name of file, without 1) remove from project 2) use a shell to rename 3) add to project bye Lore - to unsubscribe from this list send an email to kdevelop-devel-request at kdevelop.org with the following body: unsubscribe »your-email-address«