| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| plugins/ | - | 2023-May-31 13:01 |
| javadoc/ | - | 2023-May-31 13:01 |
| features/ | - | 2023-May-31 12:58 |
| p2.index | 172 B | 2023-May-31 13:01 |
| content.xml.xz | 13.3 KiB | 2023-May-31 12:58 |
| content.jar | 33.6 KiB | 2023-May-31 12:58 |
| artifacts.xml.xz | 8.8 KiB | 2023-May-31 12:57 |
| artifacts.jar | 10.6 KiB | 2023-May-31 12:57 |