diff options
Diffstat (limited to 'client')
| -rw-r--r-- | client/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/client/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml b/client/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml new file mode 100644 index 0000000000..f3cc2bca1c --- /dev/null +++ b/client/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml @@ -0,0 +1,9 @@ +<module> + <!-- This GWT module is provided for backwards compatibility only. You + should inherit com.vaadin.DefaultWidgetSet instead. --> + + <!-- Hint for WidgetSetBuilder not to automatically update the file --> + <!-- WS Compiler: manually edited --> + <inherits name="com.vaadin.DefaultWidgetSet" /> + +</module>
\ No newline at end of file |