diff options
author | Artur Signell <artur@vaadin.com> | 2013-06-15 00:17:12 +0300 |
---|---|---|
committer | Artur Signell <artur@vaadin.com> | 2013-06-15 00:43:08 +0300 |
commit | 786b396ed0d1a93062247234b9021911d984192c (patch) | |
tree | 20e392d92590349a60670e94e5a4756a7e3ce131 /client | |
parent | a9448c76a938fe60edb999495ce3c5710a37262e (diff) | |
download | vaadin-framework-786b396ed0d1a93062247234b9021911d984192c.tar.gz vaadin-framework-786b396ed0d1a93062247234b9021911d984192c.zip |
Actually compile an IE10 permutation (#12080)
Change-Id: I7a321c764426b6c24a8dfcfa0a34093ea947750b
Diffstat (limited to 'client')
-rw-r--r-- | client/src/com/vaadin/Vaadin.gwt.xml | 2 |
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> |