537832c64ffbfaf304553944dead3d87e840cc90 - gerrit/servertools/webtools.servertools - Git at Google

commit: 537832c64ffbfaf304553944dead3d87e840cc90
[log] [tgz]
author: eyuen <eyuen@ca.ibm.com>
Thu Aug 02 12:25:43 2018 -0400
committer: eyuen <eyuen@ca.ibm.com>
Thu Aug 02 12:25:43 2018 -0400
tree: 8c5dae28fc224b2090c0766337c3c0dde656e4bc
parent: 436c4ff595bfb0af42fcfea361308379a2aefb1d [diff]

[536770] jst.server.tomcat.core requires jdt.launching 3.10, declares
3.2

Change-Id: Ie7b0bfa8dd7451fe0153d1a1502f6cdaeede17e7

plugins/org.eclipse.jst.server.tomcat.core/META-INF/MANIFEST.MF[diff]

1 file changed

tree: 8c5dae28fc224b2090c0766337c3c0dde656e4bc