rock-core/tools-orocosrb — pull request #22 by doudou (2014-09-08 18:20:09+00:00)
Title: Revert "Minor updates"

Reverts rock-core/tools-orocosrb#18, it causes too much trouble in common cases.