From: Artur Signell <artur@vaadin.com>
Date: Mon, 12 Sep 2016 20:45:21 +0000 (+0300)
Subject: Remove Vaadin 6 DefaultWidgetSet
X-Git-Tag: 8.0.0.alpha2~20
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=83278f7c9f2ab97e8b929e949529a3eed2a92721;p=vaadin-framework.git

Remove Vaadin 6 DefaultWidgetSet

Change-Id: I41a509c5a1dbb4388f11517dd62894ad2713f9aa
---

diff --git a/client/src/main/resources/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml b/client/src/main/resources/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
deleted file mode 100644
index f3cc2bca1c..0000000000
--- a/client/src/main/resources/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
+++ /dev/null
@@ -1,9 +0,0 @@
-<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