Teiid-Designer/teiid-designer — pull request #113 by phantomjinx (2013-02-22 15:20:59+00:00)
Title: Couple of commits

* plugin version update script fix
* Fixes improving UI friendliness
* Updates to documentation