Artifacts of webtools-jsdt_master #2524

	features
	plugins
	artifacts.jar	Sep 30, 2023, 3:45:23 AM	19.84 KiB
	artifacts.xml.xz	Sep 30, 2023, 3:45:24 AM	16.34 KiB
	content.jar	Sep 30, 2023, 3:45:23 AM	45.33 KiB
	content.xml.xz	Sep 30, 2023, 3:45:24 AM	17.78 KiB
	p2.index	Sep 30, 2023, 3:45:24 AM	172 B
(all files in zip)