| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| external-workspace-manager-1.1.1-sources.jar | Tue Nov 08 20:13:43 UTC 2016 | 57680 | |
| external-workspace-manager-1.1.1-sources.jar.sha1 | Tue Nov 08 20:13:43 UTC 2016 | 40 | |
| external-workspace-manager-1.1.1.jar | Tue Nov 08 20:13:43 UTC 2016 | 87137 | |
| external-workspace-manager-1.1.1.jar.sha1 | Tue Nov 08 20:13:43 UTC 2016 | 40 | |
| external-workspace-manager-1.1.1.pom | Tue Nov 08 20:13:42 UTC 2016 | 4718 | |
| external-workspace-manager-1.1.1.pom.sha1 | Tue Nov 08 20:13:42 UTC 2016 | 40 |