diff options
Diffstat (limited to 'client/src/com/vaadin/DefaultWidgetSet.gwt.xml')
| -rwxr-xr-x | client/src/com/vaadin/DefaultWidgetSet.gwt.xml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/client/src/com/vaadin/DefaultWidgetSet.gwt.xml b/client/src/com/vaadin/DefaultWidgetSet.gwt.xml index 461bd5ed1b..8512d547e3 100755 --- a/client/src/com/vaadin/DefaultWidgetSet.gwt.xml +++ b/client/src/com/vaadin/DefaultWidgetSet.gwt.xml @@ -15,7 +15,4 @@ larger. --> <collapse-all-properties /> - <!-- Workaround for http://dev.vaadin.com/ticket/14051 --> - <set-property name="compiler.useSymbolMaps" value="true" /> - </module> |