diff options
| author | Artur Signell <artur@vaadin.com> | 2013-06-10 20:15:35 +0300 |
|---|---|---|
| committer | Artur Signell <artur@vaadin.com> | 2013-06-10 20:21:56 +0300 |
| commit | 37bc9e41db0278f42263452e12a8b3fc87b664ba (patch) | |
| tree | ec48ab05ece102bd43e727da253030dac26475b3 /gwt-files.xml | |
| parent | d9becf9523fdd71abb1b93072a76df163b9dd2c0 (diff) | |
| download | vaadin-framework-37bc9e41db0278f42263452e12a8b3fc87b664ba.tar.gz vaadin-framework-37bc9e41db0278f42263452e12a8b3fc87b664ba.zip | |
Reformatted using Ant editor (#12040)
Change-Id: If8afd65d5905302c64f12ef7f76ee7e63073c474
Diffstat (limited to 'gwt-files.xml')
| -rw-r--r-- | gwt-files.xml | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/gwt-files.xml b/gwt-files.xml index 4f9f746c99..a40d69806f 100644 --- a/gwt-files.xml +++ b/gwt-files.xml @@ -25,12 +25,9 @@ <target name="unpack.gwt"> <fail unless="gwt.dev.jar.found" message="Could not find gwt-dev.jar at ${gwt.dev.jar}" /> - <fail unless="gwt.user.jar.found" - message="Could not find gwt-user.jar at ${gwt.user.jar}" /> - <fail unless="gwt.elemental.jar.found" - message="Could not find gwt-elemental.jar at ${gwt.elemental.jar}" /> - <fail unless="gwt.codeserver.jar.found" - message="Could not find gwt-codeserver.jar at ${gwt.codeserver.jar}" /> + <fail unless="gwt.user.jar.found" message="Could not find gwt-user.jar at ${gwt.user.jar}" /> + <fail unless="gwt.elemental.jar.found" message="Could not find gwt-elemental.jar at ${gwt.elemental.jar}" /> + <fail unless="gwt.codeserver.jar.found" message="Could not find gwt-codeserver.jar at ${gwt.codeserver.jar}" /> <delete dir="${gwt.unpack.dir}" /> |