rock-core/tools-orocosrb — pull request #2 by doudou (2014-07-10 19:07:03+00:00)
Title: Remove the Orocos/Roby plugin leftovers

The plugin itself has been removed a few months ago.