| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| plugins/ | - | 2017-Oct-20 12:31 |
| features/ | - | 2017-Oct-20 12:31 |
| p2.index | 172 | 2017-Oct-20 09:33 |
| content.xml.xz | 16372 | 2017-Oct-20 09:33 |
| content.jar | 45412 | 2017-Oct-20 09:33 |
| artifacts.xml.xz | 4952 | 2017-Oct-20 09:35 |
| artifacts.jar | 5677 | 2017-Oct-20 12:31 |