[Rock-dev] [rock] #31: No typekit is created, if typekit of optional task_library contains the type

[rock]

#31: No typekit is created, if typekit of optional task_library contains the
type
--------------------+-----------------------------
 Reporter:  jama01  |       Owner:  sylvain.joyeux
     Type:  defect  |      Status:  closed
 Priority:  normal  |   Milestone:
Component:  base    |  Resolution:  fixed
 Keywords:          |
--------------------+-----------------------------
Changes (by sylvain.joyeux):

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


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