darwinop/webots-cross-compilation — pull request #10 by fabienrohrer (2012-10-03 09:28:56+00:00)
Title: Copying script

Added a script allowing to copy all the files and directory recursively to Webots. This helps for synchronization.