From 83278f7c9f2ab97e8b929e949529a3eed2a92721 Mon Sep 17 00:00:00 2001
From: Artur Signell <artur@vaadin.com>
Date: Mon, 12 Sep 2016 23:45:21 +0300
Subject: [PATCH] Remove Vaadin 6 DefaultWidgetSet

Change-Id: I41a509c5a1dbb4388f11517dd62894ad2713f9aa
---
 .../com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml     | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 client/src/main/resources/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml

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
-- 
2.39.5