diff options
Diffstat (limited to 'client/src/com/vaadin/DefaultWidgetSet.gwt.xml')
| -rwxr-xr-x | client/src/com/vaadin/DefaultWidgetSet.gwt.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/client/src/com/vaadin/DefaultWidgetSet.gwt.xml b/client/src/com/vaadin/DefaultWidgetSet.gwt.xml index 2719493853..8512d547e3 100755 --- a/client/src/com/vaadin/DefaultWidgetSet.gwt.xml +++ b/client/src/com/vaadin/DefaultWidgetSet.gwt.xml @@ -14,4 +14,5 @@ file. Speeds up compilation and does not make the Javascript significantly larger. --> <collapse-all-properties /> + </module> |