diff options
author | Leif Åstrand <leif@vaadin.com> | 2012-08-30 13:18:51 +0300 |
---|---|---|
committer | Leif Åstrand <leif@vaadin.com> | 2012-08-30 13:18:51 +0300 |
commit | 22bb5813b3600da1017e8874b521f896e82cde6b (patch) | |
tree | 08ddf10eabe5cf165b54d4bc5a0131bfe9c975c7 /client | |
parent | 7411bd0456f6dca3f8c25a5050ea786f90c6af0f (diff) | |
download | vaadin-framework-22bb5813b3600da1017e8874b521f896e82cde6b.tar.gz vaadin-framework-22bb5813b3600da1017e8874b521f896e82cde6b.zip |
Move PortalDefaultWidgetSet.gwt.xml to client source folder (#9299)
Diffstat (limited to 'client')
-rw-r--r-- | client/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/client/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml b/client/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml new file mode 100644 index 0000000000..c127d3bb21 --- /dev/null +++ b/client/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml @@ -0,0 +1,6 @@ +<module> + <!-- WS Compiler: manually edited --> + + <!-- Inherit the DefaultWidgetSet --> + <inherits name="com.vaadin.DefaultWidgetSet" /> +</module> |