darwinop/webots-cross-compilation — pull request #238 by fabienrohrer (2013-06-17 14:56:32+00:00)
Title: Migrated to Webots 7.2.0

Mainly: used the new Motor API rather than the deprecated Servo one.