[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[be] [task #8497] Resources: Editor/Converter: which files to convert
From: |
Teus Benschop |
Subject: |
[be] [task #8497] Resources: Editor/Converter: which files to convert |
Date: |
Fri, 05 Jun 2009 12:43:02 +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 |
Update of task #8497 (project bibledit):
Status: In Progress => Need Info
_______________________________________________________
Follow-up Comment #1:
There is a problem when working on all files at once.
The problem can be seen in Resources that consist of various auxiliary files.
We have the main files, these end on .html. Then we can have .ini files, .css
files, and other .html files that are not to be converted.
Any solutions to this problem?
_______________________________________________________
Reply to this item at:
<http://savannah.nongnu.org/task/?8497>
_______________________________________________
Message sent via/by Savannah
http://savannah.nongnu.org/