fractalide/fractalide — pull request #77 by dmichiels (2014-10-12 12:17:41+00:00)
Title: fractalide.sh update

fix #76

The fractalide.sh script was no more ok witht the new loading of the components. Moreover, the editor is broken for the moment.