diff options
Diffstat (limited to 'client/src')
| -rw-r--r-- | client/src/com/vaadin/Vaadin.gwt.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/client/src/com/vaadin/Vaadin.gwt.xml b/client/src/com/vaadin/Vaadin.gwt.xml index 31eb703e3c..776886bb1b 100644 --- a/client/src/com/vaadin/Vaadin.gwt.xml +++ b/client/src/com/vaadin/Vaadin.gwt.xml @@ -60,4 +60,7 @@ <!-- Use the new cross site linker to get a nocache.js without document.write --> <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" /> + </module> |