darwinop/webots-cross-compilation — pull request #202 by DavidMansolino (2013-03-04 15:42:50+00:00)
Title: Changed separators size.

Changed separators size.