[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[be] [task #8446] Resource: rename
|
From: |
Teus Benschop |
|
Subject: |
[be] [task #8446] Resource: rename |
|
Date: |
Sat, 23 May 2009 10:56:15 +0000 |
|
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.0.10) Gecko/2009042523 Ubuntu/9.04 (jaunty) Firefox/3.0.10 |
Follow-up Comment #4, task #8446 (project bibledit):
I checked this out. In the new Resource Assistant, it is now possible to
rename the Resource.
What happens is that indeed the Resource gets renamed, and that the old one
remains. That would then need to be deleted after the rename.
_______________________________________________________
Reply to this item at:
<http://savannah.nongnu.org/task/?8446>
_______________________________________________
Message sent via/by Savannah
http://savannah.nongnu.org/