darwinop/webots-cross-compilation — pull request #196 by fabienrohrer (2013-02-20 15:02:38+00:00)
Title: Fixed minor compilation issue

Fixed minor compilation issue