Index of /mirror/eclipse.org/tools/pdt/updates/3.1.2/release/plugins

	Name	Last modified	Size
	Parent Directory		-
	org.eclipse.php.core.parser.source_3.1.2.201212211235.jar	2013-01-18 13:44	348K
	org.eclipse.php.core.parser_3.1.2.201212211235.jar	2013-01-18 13:44	88K
	org.eclipse.php.core.performance.tests_3.1.2.201212211235.jar	2013-01-18 13:44	203K
	org.eclipse.php.core.source_3.1.2.201212211235.jar	2013-01-18 13:44	1.7M
	org.eclipse.php.core.tests_3.1.2.201212211235.jar	2013-01-18 13:44	1.0M
	org.eclipse.php.core_3.1.2.201212211235.jar	2013-01-18 13:44	3.4M
	org.eclipse.php.debug.core.source_3.1.2.201212211235.jar	2013-01-18 13:44	386K
	org.eclipse.php.debug.core_3.1.2.201212211235.jar	2013-01-18 13:44	564K
	org.eclipse.php.debug.daemon.source_3.1.2.201212211235.jar	2013-01-18 13:44	16K
	org.eclipse.php.debug.daemon_3.1.2.201212211235.jar	2013-01-18 13:44	22K
	org.eclipse.php.debug.ui.source_3.1.2.201212211235.jar	2013-01-18 13:44	237K
	org.eclipse.php.debug.ui_3.1.2.201212211235.jar	2013-01-18 13:44	472K
	org.eclipse.php.help.source_3.1.2.201212211235.jar	2013-01-18 13:44	12K
	org.eclipse.php.help_3.1.2.201212211235.jar	2013-01-18 13:44	29K
	org.eclipse.php.mylyn.ui_3.1.2.201212211235.jar	2013-01-18 13:44	13K
	org.eclipse.php.server.core.source_3.1.2.201212211235.jar	2013-01-18 13:44	34K
	org.eclipse.php.server.core_3.1.2.201212211235.jar	2013-01-18 13:44	38K
	org.eclipse.php.server.ui.source_3.1.2.201212211235.jar	2013-01-18 13:44	68K
	org.eclipse.php.server.ui_3.1.2.201212211235.jar	2013-01-18 13:44	135K
	org.eclipse.php.ui.source_3.1.2.201212211235.jar	2013-01-18 13:44	1.4M
	org.eclipse.php.ui.tests_3.1.2.201212211235.jar	2013-01-18 13:44	57K
	org.eclipse.php.ui_3.1.2.201212211235.jar	2013-01-18 13:44	2.4M