rock-core/tools-orocosrb — pull request #18 by doudou (2014-08-28 19:43:35+00:00)
Title: Minor updates

Minor changes / fixes that are currently required by the new rock-webapp tool