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 2018/06/25 11:20:46 UTC
svn commit: r1834305 - /tomcat/trunk/build.properties.default
Author: markt
Date: Mon Jun 25 11:20:46 2018
New Revision: 1834305
URL: http://svn.apache.org/viewvc?rev=1834305&view=rev
Log:
Remove unused property
Modified:
tomcat/trunk/build.properties.default
Modified: tomcat/trunk/build.properties.default
URL: http://svn.apache.org/viewvc/tomcat/trunk/build.properties.default?rev=1834305&r1=1834304&r2=1834305&view=diff
==============================================================================
--- tomcat/trunk/build.properties.default (original)
+++ tomcat/trunk/build.properties.default Mon Jun 25 11:20:46 2018
@@ -201,7 +201,6 @@ checkstyle.jar=${checkstyle.home}/checks
cobertura.version=2.1.1
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-2.1.1-bin.tar.gz
# ----- Findbugs -----
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org
For additional commands, e-mail: dev-help@tomcat.apache.org