[Rock-dev] [rock] #115: rock-convert: wrong file names as output

[rock]

#115: rock-convert: wrong file names as output
----------------------------+------------------------------------
 Reporter:  sylvain.joyeux  |       Owner:  rock-dev-mailing-list
     Type:  enhancement     |      Status:  closed
 Priority:  major           |   Milestone:
Component:  base            |  Resolution:  fixed
 Keywords:                  |
----------------------------+------------------------------------
Changes (by Alexander.Duda):

 * status:  new => closed
 * resolution:   => fixed


Comment:

 The change like proposed was not made because it would make the code a lot
 more complicated. Instead
 new_file can now called with a parameter for the file name.

-- 
Ticket URL: <http://rock.opendfki.de/ticket/115#comment:6>
rock <http://rock.opendfki.de>
rock: the robot construction kit