diff options
author | Leif Åstrand <leif@vaadin.com> | 2015-01-09 22:13:54 +0200 |
---|---|---|
committer | Vaadin Code Review <review@vaadin.com> | 2015-01-11 11:35:54 +0000 |
commit | 0f71cf690dacbaacd42a8fa586dd127b73addca1 (patch) | |
tree | 58045934d0a727151ea0be4ef425ba98b07b958c | |
parent | 9553977a834f029dc9238fcddea7d8c1a3a1e9c1 (diff) | |
download | vaadin-framework-0f71cf690dacbaacd42a8fa586dd127b73addca1.tar.gz vaadin-framework-0f71cf690dacbaacd42a8fa586dd127b73addca1.zip |
Don't include elemental in vaadin-server.jar (#15558)
Change-Id: I75eb3dbbbd1dc3477143bab278429829e8b7205d
-rw-r--r-- | gwt-files.xml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/gwt-files.xml b/gwt-files.xml index 26126a7ffb..fd31482bdc 100644 --- a/gwt-files.xml +++ b/gwt-files.xml @@ -185,10 +185,5 @@ <!-- Server files from gwt-user --> <include name="com/google/gwt/*/server/**" /> </fileset> - <!-- GWT Elemental --> - <fileset dir="${gwt.elemental.jar.files}"> - <exclude name="META-INF/**" /> - <exclude name="super/**" /> - </fileset> </union> </project> |