|
1
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
2
|
<!DOCTYPE module PUBLIC "-//Google Inc.//DTD Google Web Toolkit 2.5.1//EN" "http://google-web-toolkit.googlecode.com/svn/tags/2.5.1/distro-source/core/src/gwt-module.dtd">
|
|
3
|
<module>
|
|
4
|
|
|
5
|
|
|
6
|
<inherits name="eu.etaxonomy.cdm.vaadin.AppWidgetSet" />
|
|
7
|
|
|
8
|
<inherits name="org.vaadin.peter.contextmenu.ContextmenuWidgetset" />
|
|
9
|
|
|
10
|
<inherits name="com.vaadin.DefaultWidgetSet" />
|
|
11
|
|
|
12
|
|
|
13
|
|
|
14
|
|
|
15
|
|
|
16
|
|
|
17
|
|
|
18
|
<inherits name="org.vaadin.teemu.switchui.SwitchComponentWidgetset" />
|
|
19
|
|
|
20
|
|
|
21
|
</module>
|