| <?xml version="1.0" encoding="UTF-8"?> | |
| <!DOCTYPE module PUBLIC "-//Vaadin//DTD Vaadin 7//EN" "https://raw.github.com/vaadin/gwt/master/distro-source/core/src/gwt-module.dtd"> | |
| <module> | |
| <inherits name="com.vaadin.DefaultWidgetSet" /> | |
| <source path="client" /> | |
| <source path="shared" /> | |
| <collapse-all-properties /> | |
| <!-- <set-property name="compiler.useSymbolMaps" value="true" /> --> | |
| </module> |