diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2017-04-17 21:24:36 +0200 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2017-04-17 21:24:36 +0200 |
| commit | 77653bb945a5ae8adfed549fd4c5d908f5a514ae (patch) | |
| tree | 0fcc62bda85c41f7cb39c06460f23b9d311b9889 /java/vaadin/src/main/WebContent/VAADIN/widgetsets | |
| parent | d6ced9cf1c51e0ddadd16114bdcf34ee358e3a7e (diff) | |
| download | share-77653bb945a5ae8adfed549fd4c5d908f5a514ae.zip share-77653bb945a5ae8adfed549fd4c5d908f5a514ae.tar.gz | |
java : vaadin : add widgetset compilation
Diffstat (limited to 'java/vaadin/src/main/WebContent/VAADIN/widgetsets')
| -rw-r--r-- | java/vaadin/src/main/WebContent/VAADIN/widgetsets/mywidgetset.gwt.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/java/vaadin/src/main/WebContent/VAADIN/widgetsets/mywidgetset.gwt.xml b/java/vaadin/src/main/WebContent/VAADIN/widgetsets/mywidgetset.gwt.xml new file mode 100644 index 0000000..3c11cb9 --- /dev/null +++ b/java/vaadin/src/main/WebContent/VAADIN/widgetsets/mywidgetset.gwt.xml @@ -0,0 +1,3 @@ +<module> + <inherits name="com.vaadin.DefaultWidgetSet" /> +</module> |