diff options
| -rw-r--r-- | client/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml (renamed from server/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/server/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml b/client/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml index c127d3bb21..c127d3bb21 100644 --- a/server/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml +++ b/client/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml |