diff options
| author | Artur Signell <artur@vaadin.com> | 2012-08-13 18:34:33 +0300 |
|---|---|---|
| committer | Artur Signell <artur@vaadin.com> | 2012-08-13 19:18:33 +0300 |
| commit | e85d933b25cc3c5cc85eb7eb4b13b950fd8e1569 (patch) | |
| tree | 9ab6f13f7188cab44bbd979b1cf620f15328a03f /server/src/com/vaadin/portal | |
| parent | 14dd4d0b28c76eb994b181a4570f3adec53342e6 (diff) | |
| download | vaadin-framework-e85d933b25cc3c5cc85eb7eb4b13b950fd8e1569.tar.gz vaadin-framework-e85d933b25cc3c5cc85eb7eb4b13b950fd8e1569.zip | |
Moved server files to a server src folder (#9299)
Diffstat (limited to 'server/src/com/vaadin/portal')
| -rw-r--r-- | server/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/server/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml b/server/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml new file mode 100644 index 0000000000..bd91d05b02 --- /dev/null +++ b/server/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml @@ -0,0 +1,6 @@ +<module> + <!-- WS Compiler: manually edited --> + + <!-- Inherit the DefaultWidgetSet --> + <inherits name="com.vaadin.terminal.gwt.DefaultWidgetSet" /> +</module> |