diff options
| -rw-r--r-- | build.properties | 2 | ||||
| -rwxr-xr-x | client/src/com/vaadin/DefaultWidgetSet.gwt.xml | 3 |
2 files changed, 1 insertions, 4 deletions
diff --git a/build.properties b/build.properties index bd31158a3e..0a25dab4b9 100644 --- a/build.properties +++ b/build.properties @@ -6,5 +6,5 @@ vaadin.url=http://vaadin.com vaadin.java.version=1.6 vaadin.version=0.0.0.unversioned-development-build vaadin.sass.version=0.9.9 -gwt.version=2.6.0.vaadin4 +gwt.version=2.6.0.vaadin5 commons-io.version=2.4 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> |