diff options
author | Artur Signell <artur@vaadin.com> | 2012-09-10 13:47:04 +0300 |
---|---|---|
committer | Artur Signell <artur@vaadin.com> | 2012-09-10 16:31:31 +0300 |
commit | fae0a3486d92185c03658ba974ab04d0bf8f05e7 (patch) | |
tree | b9b7dd01e5ed3881889eeb8058524fbc738b6722 /build/build.properties | |
parent | e30db6484b882e3115da871f582f2cdb1320e763 (diff) | |
download | vaadin-framework-fae0a3486d92185c03658ba974ab04d0bf8f05e7.tar.gz vaadin-framework-fae0a3486d92185c03658ba974ab04d0bf8f05e7.zip |
Removed files which are no longer needed (#9299)
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 |