| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| external-workspace-manager-1.1.2-sources.jar | Sun Jul 30 13:12:33 UTC 2017 | 57723 | |
| external-workspace-manager-1.1.2-sources.jar.sha1 | Sun Jul 30 13:12:33 UTC 2017 | 40 | |
| external-workspace-manager-1.1.2.jar | Sun Jul 30 13:12:32 UTC 2017 | 87194 | |
| external-workspace-manager-1.1.2.jar.sha1 | Sun Jul 30 13:12:32 UTC 2017 | 40 | |
| external-workspace-manager-1.1.2.pom | Sun Jul 30 13:12:31 UTC 2017 | 4718 | |
| external-workspace-manager-1.1.2.pom.sha1 | Sun Jul 30 13:12:31 UTC 2017 | 40 |