darwinop/webots-cross-compilation — pull request #234 by fabienrohrer (2013-05-14 14:57:22+00:00)
Title: Fixed misc minor issues

Ditto