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 (file)
index f3cc2bc..0000000
--- 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