openworm/org.geppetto.frontend — pull request #135 by gidili (2014-08-13 12:59:54+00:00)
Title: Merging development up to install_widget_prototype branch

Updating sources on branch from latest development.