Closed fabienrohrer closed 11 years ago
Since Webots 7.2.5, headers contains the Webots version where they have been created.
Since Webots 7.2.5, headers contains the Webots version where they have been created.