You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@tomcat.apache.org by ma...@apache.org on 2019/07/05 12:56:15 UTC
[tomcat] 06/07: Remove unused property
This is an automated email from the ASF dual-hosted git repository.
markt pushed a commit to branch 7.0.x
in repository https://gitbox.apache.org/repos/asf/tomcat.git
commit bc1ef7a1ab3120d6ea557f91e95e1d3964091088
Author: Mark Thomas <ma...@apache.org>
AuthorDate: Fri Jul 5 13:49:30 2019 +0100
Remove unused property
---
build.properties.default | 1 -
1 file changed, 1 deletion(-)
diff --git a/build.properties.default b/build.properties.default
index 7a46224..36f0c85 100644
--- a/build.properties.default
+++ b/build.properties.default
@@ -297,5 +297,4 @@ cobertura.checksum.algorithm=MD5|SHA-1
cobertura.checksum.value=63a8c5b3f5c1226fcc52cc9c9ea2a812|705d23e5a8815aff3bc4adafd7f3001b578b5acf
cobertura.home=${base.path}/cobertura-${cobertura.version}
cobertura.jar=${cobertura.home}/cobertura-${cobertura.version}.jar
-cobertura.lib=${cobertura.home}/lib
cobertura.loc=${base-sf.loc}/cobertura/cobertura-${cobertura.version}-bin.tar.gz
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org
For additional commands, e-mail: dev-help@tomcat.apache.org