darwinop/webots-cross-compilation — pull request #266 by fabienrohrer (2013-10-28 08:27:40+00:00)
Title: Updated wbproj with the new version of Webots

Ditto