diff options
| author | Artur Signell <artur@vaadin.com> | 2012-09-10 19:21:55 +0300 |
|---|---|---|
| committer | Artur Signell <artur@vaadin.com> | 2012-09-10 19:46:50 +0300 |
| commit | f661fc17d7e512a3eab0255919796ea9af6d139d (patch) | |
| tree | 36e9686d9d620957e57e28881ae25ac95aacbeca | |
| parent | 7d591785b167c3f8a82b8af15491b494a0c7433f (diff) | |
| download | vaadin-framework-f661fc17d7e512a3eab0255919796ea9af6d139d.tar.gz vaadin-framework-f661fc17d7e512a3eab0255919796ea9af6d139d.zip | |
Re-added old DefaultWidgetSet which was accidentally deleted in a merge
| -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 |