[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:  new
  Priority:  major           |  Component:  base
Resolution:                  |   Keywords:
-----------------------------+-----------------------------------

Comment (by sylvain.joyeux):

 You could remove the additional .0 after the convertion in cases where the
 final file did not get split.

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