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

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