| Name | Last modified | Size | |
|---|---|---|---|
 | Parent Directory | ||
 | features | 2022-10-18 14:00 | |
| plugins | 2022-10-18 14:00 | |
 | artifacts.jar | 2022-10-18 14:00 | 1 KB |
| artifacts.xml.xz | 2022-10-18 14:00 | 1 KB |
| content.jar | 2022-10-18 14:00 | 35 KB |
| content.xml.xz | 2022-10-18 14:00 | 17 KB |
| p2.index | 2022-10-18 14:00 | 0 KB |