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

../
org.eclipse.vorto.core_0.10.0.jar                  22-Feb-2019 00:04              353944
org.eclipse.vorto.editor.datatype.ide_0.10.0.jar   22-Feb-2019 00:04               81739
org.eclipse.vorto.editor.datatype.ui_0.10.0.jar    22-Feb-2019 00:04               27831
org.eclipse.vorto.editor.datatype_0.10.0.jar       22-Feb-2019 00:04              202711
org.eclipse.vorto.editor.functionblock.ide_0.10..> 22-Feb-2019 00:04              119217
org.eclipse.vorto.editor.functionblock.ui_0.10...> 22-Feb-2019 00:04               30309
org.eclipse.vorto.editor.functionblock_0.10.0.jar  22-Feb-2019 00:04              197530
org.eclipse.vorto.editor.infomodel.ide_0.10.0.jar  22-Feb-2019 00:04              126437
org.eclipse.vorto.editor.infomodel.ui_0.10.0.jar   22-Feb-2019 00:04               23987
org.eclipse.vorto.editor.infomodel_0.10.0.jar      22-Feb-2019 00:04              132858
org.eclipse.vorto.editor.mapping.ide_0.10.0.jar    22-Feb-2019 00:04              100297
org.eclipse.vorto.editor.mapping.ui_0.10.0.jar     22-Feb-2019 00:04               24933
org.eclipse.vorto.editor.mapping_0.10.0.jar        22-Feb-2019 00:04              160925
org.eclipse.vorto.editor_0.10.0.jar                22-Feb-2019 00:04                5232