Index of /mirror/eclipse.org/vorto/update/releases/0.12.4/plugins

	Name	Last modified	Size
	Parent Directory		-
	org.eclipse.vorto.core_0.12.4.jar	2019-10-25 11:09	363K
	org.eclipse.vorto.editor.datatype.ide_0.12.4.jar	2019-10-25 11:09	83K
	org.eclipse.vorto.editor.datatype.ui_0.12.4.jar	2019-10-25 11:09	27K
	org.eclipse.vorto.editor.datatype_0.12.4.jar	2019-10-25 11:09	200K
	org.eclipse.vorto.editor.functionblock.ide_0.12.4.jar	2019-10-25 11:09	124K
	org.eclipse.vorto.editor.functionblock.ui_0.12.4.jar	2019-10-25 11:09	30K
	org.eclipse.vorto.editor.functionblock_0.12.4.jar	2019-10-25 11:09	196K
	org.eclipse.vorto.editor.infomodel.ide_0.12.4.jar	2019-10-25 11:09	129K
	org.eclipse.vorto.editor.infomodel.ui_0.12.4.jar	2019-10-25 11:09	23K
	org.eclipse.vorto.editor.infomodel_0.12.4.jar	2019-10-25 11:09	133K
	org.eclipse.vorto.editor.mapping.ide_0.12.4.jar	2019-10-25 11:09	104K
	org.eclipse.vorto.editor.mapping.ui_0.12.4.jar	2019-10-25 11:09	24K
	org.eclipse.vorto.editor.mapping_0.12.4.jar	2019-10-25 11:09	163K
	org.eclipse.vorto.editor_0.12.4.jar	2019-10-25 11:09	5.1K