darwinop/webots-cross-compilation — pull request #244 by fabienrohrer (2013-09-18 07:47:22+00:00)
Title: Improved headers

Since Webots 7.2.5, headers contains the Webots version where they have been created.