Fixes for Gazebo

This commit is contained in:
Lorenz Meier
2016-07-31 16:52:40 +02:00
parent 21bc5d1716
commit d809faec63