ondrej-kvasnovsky/grails-vaadin-plugin — pull request #30 by christoph-frick (2014-05-05 08:56:32+00:00)
Title: Task: vaadin-compile-widgetset

Allows compiling of widgetsets (e.g. to use addons from Vaadin). This patch applies on top of the 7.1.15 version patch.