darwinop/webots-cross-compilation — pull request #27 by fabienrohrer (2012-10-15 08:02:22+00:00)
Title: Fixed compilation issue

Fixed compilation issue