diff options
Diffstat (limited to 'build/build.properties')
| -rw-r--r-- | build/build.properties | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/build/build.properties b/build/build.properties deleted file mode 100644 index 0260cc54a9..0000000000 --- a/build/build.properties +++ /dev/null @@ -1,18 +0,0 @@ -result-path=build/result -checkout-path=build/checkout -product-file=vaadin -product-name=Vaadin -vaadin-package=com/vaadin -gwt-dir=lib/core/gwt -required.java.version=1.6 - -# repository into which Maven snapshots should be published -snapshot.repository.url=http://oss.sonatype.org/content/repositories/vaadin-snapshots - -# These are required when compiling WebContent/VAADIN/widgetsets (and also -# Java server-side classes). -lib-gwt-dev=${gwt-dir}/gwt-dev.jar -lib-gwt-user=${gwt-dir}/gwt-user.jar -# FIXME: Should use ${gwt-version-dependencies} -lib-gwt-validation=${gwt-dir}/validation-api-1.0.0.GA.jar -lib-gwt-validation-src=${gwt-dir}/validation-api-1.0.0.GA-sources.jar |