| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| plugins/ | - | 2018-Dec-18 09:20 |
| features/ | - | 2018-Dec-18 09:20 |
| artifacts.xml.original | 1069408 | 2018-Dec-18 09:20 |
| artifacts.jar | 118169 | 2018-Dec-18 09:20 |
| p2.index | 172 | 2018-Dec-18 09:20 |
| buildinfo.json | 1160 | 2018-Dec-18 09:20 |
| content.xml.xz | 106512 | 2018-Dec-18 09:20 |
| content.jar | 345375 | 2018-Dec-18 09:20 |
| artifacts.xml.xz | 84788 | 2018-Dec-18 09:20 |