Index of /Distribution/Builds/7.2_13

	Name	Last modified	Size	Description
	Parent Directory		-
	x86_64_nt/	2026-07-26 02:13	-
	x86_64_linux/	2026-07-14 11:59	-
	src/	2026-07-14 12:25	-
	common/	2026-07-14 11:59	-
	aarch64_linux/	2026-07-14 17:51	-
	This is ECLiPSe 7.2#13	2026-07-14 12:25	0