f0181f64d59308be8591bba8091ab56dc683827c - servertools/webtools.servertools - Git at Google

commit: f0181f64d59308be8591bba8091ab56dc683827c

[log]
author: Nitin Dahyabhai <thatnitind@gmail.com>

Wed Mar 31 20:48:17 2021 -0400
committer: Nitin Dahyabhai <thatnitind@gmail.com>

Wed Mar 31 21:36:48 2021 -0400
tree: e0e330f2bab6ad017a12f67ab30a5a33d1080b0c
parent: 49230e019c92875b8ff50546f85a81ef47b37d83 [diff]

[572506] Use the archive path for a more specific default name when downloading Tomcat

Change-Id: Id3e2b86c1e6e424fec22b405592fd6f759788b21

3 files changed

tree: e0e330f2bab6ad017a12f67ab30a5a33d1080b0c