From 51141226f6df415c1d86e43cca1fcdf5379dcfcf Mon Sep 17 00:00:00 2001
From: Artur Signell <artur.signell@itmill.com>
Date: Thu, 4 Feb 2010 14:11:03 +0000
Subject: [PATCH] Removed user agents from DefaultWidgetSet

svn changeset:11142/svn branch:6.3_dd
---
 src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml b/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
index 3aaf2e5d1b..42fbde2b57 100644
--- a/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
+++ b/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
@@ -35,6 +35,4 @@
 	
 	<entry-point class="com.vaadin.terminal.gwt.client.DefaultWidgetSet" />
 	
-	<set-property name="user.agent" value="safari,gecko1_8"/>
-	
 </module>
-- 
2.39.5