MyGUI/mygui — pull request #38 by scrawl (2014-09-12 03:42:54+00:00)
Title: Make sure no prefix is used for Plugin library names

Make sure no prefix is used for Plugin library names, as the EditorPlugin.xml expects.

Solves a part of #31.