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

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