| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| jetty-jndi-9.3.20.v20170531.jar | Wed May 31 15:35:19 PDT 2017 | 41287 | |
| jetty-jndi-9.3.20.v20170531.jar.sha1 | Wed May 31 15:35:19 PDT 2017 | 40 | |
| jetty-jndi-9.3.20.v20170531.pom | Wed May 31 15:35:20 PDT 2017 | 1926 | |
| jetty-jndi-9.3.20.v20170531.pom.sha1 | Wed May 31 15:35:20 PDT 2017 | 40 |