[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[be] [task #8445] Resources: Rename types
From: |
Wolfgang Stradner |
Subject: |
[be] [task #8445] Resources: Rename types |
Date: |
Thu, 31 Jul 2008 12:33:16 +0000 |
User-agent: |
Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB; rv:1.8.1.6) Gecko/20070725 Firefox/2.0.0.6 |
Update of task #8445 (project bibledit):
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #1:
As types are based on the names of resources, a 'rename-type' feature would
not be useful. Instead of this a 'rename-resource' tool would be better (see
separate task for this request).
_______________________________________________________
Reply to this item at:
<http://savannah.nongnu.org/task/?8445>
_______________________________________________
Message sent via/by Savannah
http://savannah.nongnu.org/