diff options
author | Artur Signell <artur@vaadin.com> | 2012-09-10 12:31:03 +0300 |
---|---|---|
committer | Artur Signell <artur@vaadin.com> | 2012-09-10 12:31:13 +0300 |
commit | 448d56cc85518eb55dbd3113b81a7998a4b914e1 (patch) | |
tree | c4808632bfe02209cfa5e4592ef2e8df7a3badf8 /client | |
parent | def6b2fee7f8922e73858b15c956c11276adf176 (diff) | |
download | vaadin-framework-448d56cc85518eb55dbd3113b81a7998a4b914e1.tar.gz vaadin-framework-448d56cc85518eb55dbd3113b81a7998a4b914e1.zip |
Removed PortalDefaultWidgetSet (#9337)
Diffstat (limited to 'client')
-rw-r--r-- | client/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/client/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml b/client/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml deleted file mode 100644 index c127d3bb21..0000000000 --- a/client/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml +++ /dev/null @@ -1,6 +0,0 @@ -<module> - <!-- WS Compiler: manually edited --> - - <!-- Inherit the DefaultWidgetSet --> - <inherits name="com.vaadin.DefaultWidgetSet" /> -</module> |