| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| plugins/ | - | 2018-Jul-17 16:11 |
| features/ | - | 2018-Jul-17 16:10 |
| binary/ | - | 2018-Jul-17 16:10 |
| repository.zip | 854943 | 2018-Jul-17 16:11 |
| content.jar | 583956 | 2018-Jul-17 16:10 |
| content.xml.xz | 173408 | 2018-Jul-17 16:10 |
| artifacts.jar | 65508 | 2018-Jul-17 16:10 |
| artifacts.xml.xz | 46412 | 2018-Jul-17 16:10 |
| p2.index | 172 | 2018-Jul-17 16:10 |