31e89855dbf0d73a5c5cc598969d54adb95a1938 - gerrit/servertools/webtools.servertools - Git at Google

commit: 31e89855dbf0d73a5c5cc598969d54adb95a1938
[log] [tgz]
author: Nitin Dahyabhai <thatnitind@gmail.com>
Mon May 17 12:04:02 2021 -0400
committer: Nitin Dahyabhai <thatnitind@gmail.com>
Mon May 17 12:04:02 2021 -0400
tree: 8d9eb51264083988eb13a6e4d1a3cd77a6ba2c7d
parent: 73c9df3bff08bf4e7af6f0beb31ed5a1d7731496 [diff]

[573485] Add/include jetty.jndi

features/org.eclipse.wst.server_adapters.feature/feature.xml[diff]

1 file changed

tree: 8d9eb51264083988eb13a6e4d1a3cd77a6ba2c7d