darwinop/webots-cross-compilation — pull request #226 by fabienrohrer (2013-04-26 08:56:27+00:00)
Title: Simplified code

ditto