[Rock-dev] [rock] #177: rock-roby run loads wrong files

[rock]

#177: rock-roby run loads wrong files
-----------------------+---------------------
 Reporter:  jama01     |       Owner:  joyeux
     Type:  defect     |      Status:  closed
 Priority:  major      |   Milestone:
Component:  toolchain  |  Resolution:  fixed
 Keywords:             |
-----------------------+---------------------
Changes (by sylvain.joyeux):

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


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