darwinop/webots-cross-compilation — pull request #242 by fabienrohrer (2013-08-30 08:26:55+00:00)
Title: Propagated Webots 7.2.4 modifications (Olivier)

* improved robustness of remote-control and crosscompilation (especially on Windows)
* updated minor field modifications due to the upgrade to Webots 7.2.4
* misc minor improvements