Index of /eclipse/vorto/update/releases/0.12.2/plugins/

../
org.eclipse.vorto.core_0.12.2.jar                  17-Oct-2019 12:28    363K
org.eclipse.vorto.editor.datatype.ide_0.12.2.jar   17-Oct-2019 12:28     83K
org.eclipse.vorto.editor.datatype.ui_0.12.2.jar    17-Oct-2019 12:28     27K
org.eclipse.vorto.editor.datatype_0.12.2.jar       17-Oct-2019 12:28    200K
org.eclipse.vorto.editor.functionblock.ide_0.12..> 17-Oct-2019 12:28    124K
org.eclipse.vorto.editor.functionblock.ui_0.12...> 17-Oct-2019 12:28     30K
org.eclipse.vorto.editor.functionblock_0.12.2.jar  17-Oct-2019 12:28    196K
org.eclipse.vorto.editor.infomodel.ide_0.12.2.jar  17-Oct-2019 12:28    129K
org.eclipse.vorto.editor.infomodel.ui_0.12.2.jar   17-Oct-2019 12:28     23K
org.eclipse.vorto.editor.infomodel_0.12.2.jar      17-Oct-2019 12:28    133K
org.eclipse.vorto.editor.mapping.ide_0.12.2.jar    17-Oct-2019 12:28    104K
org.eclipse.vorto.editor.mapping.ui_0.12.2.jar     17-Oct-2019 12:28     24K
org.eclipse.vorto.editor.mapping_0.12.2.jar        17-Oct-2019 12:28    163K
org.eclipse.vorto.editor_0.12.2.jar                17-Oct-2019 12:28    5237