| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| plugins/ | - | 2017-Dec-20 13:09 |
| web/ | - | 2017-Dec-20 13:09 |
| features/ | - | 2017-Dec-20 13:09 |
| artifacts.xml.original | 851837 | 2017-Dec-20 13:09 |
| site.properties | 448 | 2017-Dec-20 13:09 |
| artifacts.jar | 62488 | 2017-Dec-20 13:09 |
| p2.index | 172 | 2017-Dec-20 13:09 |
| buildinfo.json | 1030 | 2017-Dec-20 13:09 |
| content.xml.xz | 102064 | 2017-Dec-20 13:09 |
| content.jar | 318439 | 2017-Dec-20 13:09 |
| category.xml | 2320 | 2017-Dec-20 13:09 |
| artifacts.xml.xz | 43952 | 2017-Dec-20 13:09 |