![[Jenkins]](/webtools/static/3a115769/images/svgs/logo.svg){kind=logo}
Artifacts of webtools-jsdt-pr #1
| features | ||||
| plugins | ||||
| artifacts.jar | Jul 5, 2023, 3:14:39 PM | 9.51 KB | ||
| artifacts.xml.xz | Jul 5, 2023, 3:14:40 PM | 7.81 KB | ||
| content.jar | Jul 5, 2023, 3:14:39 PM | 34.59 KB | ||
| content.xml.xz | Jul 5, 2023, 3:14:40 PM | 17.65 KB | ||
| p2.index | Jul 5, 2023, 3:14:40 PM | 172 B | ||