| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| mantis-server-worker-client-1.2.12.jar | Fri Sep 27 11:59:51 PDT 2019 | 50001 | |
| mantis-server-worker-client-1.2.12.jar.sha1 | Fri Sep 27 11:59:51 PDT 2019 | 40 | |
| mantis-server-worker-client-1.2.12.pom | Fri Sep 27 11:59:52 PDT 2019 | 3166 | |
| mantis-server-worker-client-1.2.12.pom.sha1 | Fri Sep 27 11:59:52 PDT 2019 | 40 |