darwinop/webots-cross-compilation — pull request #232 by fabienrohrer (2013-04-30 07:45:59+00:00)
Title: Fixed compilation issue

ditto