darwinop/webots-cross-compilation — pull request #92 by DavidMansolino (2012-12-18 16:50:19+00:00)
Title: Corrected small compilation issue in MotionManager.

Corrected small compilation issue in MotionManager.