| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| jetty-jndi-10.0.10-sources.jar | Thu Jun 16 12:51:15 PDT 2022 | 38229 | |
| jetty-jndi-10.0.10-sources.jar.sha1 | Thu Jun 16 12:51:15 PDT 2022 | 40 | |
| jetty-jndi-10.0.10.pom | Thu Jun 16 12:51:14 PDT 2022 | 2632 | |
| jetty-jndi-10.0.10.pom.sha1 | Thu Jun 16 12:51:14 PDT 2022 | 40 |