| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| plugins/ | - | 2022-Nov-28 09:01 |
| features/ | - | 2022-Nov-28 08:59 |
| binary/ | - | 2022-Nov-28 08:59 |
| IDEs/ | - | 2022-Nov-28 09:00 |
| p2.index | 172 | 2022-Nov-28 09:00 |
| content.xml.xz | 77264 | 2022-Nov-28 08:59 |
| content.jar | 243864 | 2022-Nov-28 08:59 |
| artifacts.xml.xz | 70592 | 2022-Nov-28 08:59 |
| artifacts.jar | 96172 | 2022-Nov-28 08:59 |