| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| external-workspace-manager-1.0.0.hpi | Sun Aug 21 16:40:18 UTC 2016 | 61166 | |
| external-workspace-manager-1.0.0.hpi.sha1 | Sun Aug 21 16:40:18 UTC 2016 | 40 | |
| external-workspace-manager-1.0.0.pom | Sun Aug 21 16:40:18 UTC 2016 | 4718 | |
| external-workspace-manager-1.0.0.pom.sha1 | Sun Aug 21 16:40:18 UTC 2016 | 40 |