Workspace of s2container-2.4-s2tiger on Built-In Node

	org.eclipse.core.resources.prefs	Aug 8, 2024, 6:08:12 PM	247 B
	org.eclipse.jdt.core.prefs	Aug 8, 2024, 6:08:12 PM	23.55 KiB
	org.eclipse.jdt.ui.prefs	Aug 8, 2024, 6:08:12 PM	10.39 KiB
(all files in zip)