darwinop/webots-cross-compilation — pull request #155 by DavidMansolino (2013-01-31 15:15:39+00:00)
Title: Change manager to dynamic library.

Change manager to dynamic library.