summaryrefslogtreecommitdiffstats
path: root/build
diff options
context:
space:
mode:
authorHenri Sara <hesara@vaadin.com>2012-06-26 15:52:06 +0300
committerHenri Sara <hesara@vaadin.com>2012-06-26 15:52:06 +0300
commitc348b301241310de233e9856d0609ac7cde0aa1e (patch)
tree2764e68de90bae772e7c748499c19238e6adc99a /build
parentfd80c6937b9eb31de8af83f76ab71d545b8905fc (diff)
downloadvaadin-framework-c348b301241310de233e9856d0609ac7cde0aa1e.tar.gz
vaadin-framework-c348b301241310de233e9856d0609ac7cde0aa1e.zip
Do not explicitly include JSON library, take it from gwt-dev (now there)
Diffstat (limited to 'build')
-rw-r--r--build/build.xml3
1 files changed, 0 insertions, 3 deletions
diff --git a/build/build.xml b/build/build.xml
index d4d37b4e77..cf852ad450 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -790,9 +790,6 @@
<!-- GWT SuperDevMode -->
<zipfileset src="${gwt.codeserver.jar}" />
- <!-- JSON library, required when precompiled JSON.gwtar is not included -->
- <zipfileset src="${gwt.tools}/redist/json/r2_20080312/json-1.5.jar" />
-
<!-- jarjar rules: rebase packages from gwt-dev.jar but not those from gwt-user -->
<!-- Don't rebase these -->