diff options
author | Henri Sara <hesara@vaadin.com> | 2012-06-26 15:52:06 +0300 |
---|---|---|
committer | Henri Sara <hesara@vaadin.com> | 2012-06-26 15:52:06 +0300 |
commit | c348b301241310de233e9856d0609ac7cde0aa1e (patch) | |
tree | 2764e68de90bae772e7c748499c19238e6adc99a /build/build.xml | |
parent | fd80c6937b9eb31de8af83f76ab71d545b8905fc (diff) | |
download | vaadin-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/build.xml')
-rw-r--r-- | build/build.xml | 3 |
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 --> |