This is an automated email from the ASF dual-hosted git repository.
rjung pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/tomcat.git
The following commit(s) were added to refs/heads/master by this push:
new 0fd2cb4 Remove tomcat.extras.path and tomcat.extras.src.path which
are no longer in use after removal of Tomcat extras in r1851232
(cb6726e077ba5b3f4fd31ba8138b8bcc26cbb0d8) and r1851243
(709a3595f995bceb5168698387d15dc60b8a970e).
new 44ffc8a Merge branch 'master' of
https://gitbox.apache.org/repos/asf/tomcat
0fd2cb4 is described below
commit 0fd2cb48c03df784f00abcc51d8b83831fc1f454
Author: Rainer Jung <rainer.j...@kippdata.de>
AuthorDate: Thu Feb 28 23:09:26 2019 +0100
Remove tomcat.extras.path and tomcat.extras.src.path
which are no longer in use after removal of Tomcat extras
in r1851232 (cb6726e077ba5b3f4fd31ba8138b8bcc26cbb0d8)
and r1851243 (709a3595f995bceb5168698387d15dc60b8a970e).
---
res/maven/mvn.properties.default | 2 --
1 file changed, 2 deletions(-)
diff --git a/res/maven/mvn.properties.default b/res/maven/mvn.properties.default
index 03b8c55..c427f5d 100644
--- a/res/maven/mvn.properties.default
+++ b/res/maven/mvn.properties.default
@@ -48,8 +48,6 @@ tomcat.release.path=../../output/release
tomcat.src.path=../../output/src-jars
tomcat.embed.path=../../output/embed
tomcat.embed.src.path=../../output/embed-src-jars
-tomcat.extras.path=../../output/extras
-tomcat.extras.src.path=../../output/extras-src-jars
#Where do we find the POM files
tomcat.pom.path=../../res/maven
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org
