[Rock-dev] [rock] #35: orogen: remove orphaned typekit if project defines no type any more
rock
noreply at opendfki.de
Fri Feb 3 11:57:58 CET 2012
#35: orogen: remove orphaned typekit if project defines no type any more
---------------------+-----------------------------------
Reporter: jama01 | Owner: rock-dev-mailing-list
Type: defect | Status: new
Priority: major | Component: base
Resolution: | Keywords:
---------------------+-----------------------------------
Comment (by thro02):
orocos.rb should ignore typekits that are not defined in a project anymore
--
Ticket URL: <https://rock.opendfki.de/ticket/35#comment:2>
rock <https://rock.opendfki.de>
rock: the robot construction kit
More information about the Rock-dev
mailing list