aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorArtur Signell <artur@vaadin.com>2013-06-15 00:17:12 +0300
committerArtur Signell <artur@vaadin.com>2013-06-15 00:17:12 +0300
commit8669f6adf27244c9ac4906878fb77be3141f9dcf (patch)
treefa2408757c1a22ea21c19bd9848b201da213dea9
parent07541584787ce19bddc4091fcf3b46f205327dce (diff)
downloadvaadin-framework-8669f6adf27244c9ac4906878fb77be3141f9dcf.tar.gz
vaadin-framework-8669f6adf27244c9ac4906878fb77be3141f9dcf.zip
Actually compile an IE10 permutation (#12080)
Change-Id: I4da4ef6dbbdf9fccfd3e8bf8d302365a3398d9de
-rw-r--r--client/src/com/vaadin/Vaadin.gwt.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/client/src/com/vaadin/Vaadin.gwt.xml b/client/src/com/vaadin/Vaadin.gwt.xml
index 776886bb1b..a1dca07a1c 100644
--- a/client/src/com/vaadin/Vaadin.gwt.xml
+++ b/client/src/com/vaadin/Vaadin.gwt.xml
@@ -61,6 +61,6 @@
<add-linker name="xsiframe" />
<!-- Remove IE6/IE7 permutation as they are not supported -->
- <set-property name="user.agent" value="ie8,ie9,gecko1_8,safari,opera" />
+ <set-property name="user.agent" value="ie8,ie9,ie10,gecko1_8,safari,opera" />
</module>