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

../
org.eclipse.vorto.core_0.12.1.jar                  13-Oct-2019 19:29              371696
org.eclipse.vorto.editor.datatype.ide_0.12.1.jar   13-Oct-2019 19:29               84876
org.eclipse.vorto.editor.datatype.ui_0.12.1.jar    13-Oct-2019 19:29               27940
org.eclipse.vorto.editor.datatype_0.12.1.jar       13-Oct-2019 19:29              204348
org.eclipse.vorto.editor.functionblock.ide_0.12..> 13-Oct-2019 19:29              126801
org.eclipse.vorto.editor.functionblock.ui_0.12...> 13-Oct-2019 19:29               30333
org.eclipse.vorto.editor.functionblock_0.12.1.jar  13-Oct-2019 19:29              200940
org.eclipse.vorto.editor.infomodel.ide_0.12.1.jar  13-Oct-2019 19:29              132509
org.eclipse.vorto.editor.infomodel.ui_0.12.1.jar   13-Oct-2019 19:29               24010
org.eclipse.vorto.editor.infomodel_0.12.1.jar      13-Oct-2019 19:29              136542
org.eclipse.vorto.editor.mapping.ide_0.12.1.jar    13-Oct-2019 19:29              106909
org.eclipse.vorto.editor.mapping.ui_0.12.1.jar     13-Oct-2019 19:29               25017
org.eclipse.vorto.editor.mapping_0.12.1.jar        13-Oct-2019 19:29              166971
org.eclipse.vorto.editor_0.12.1.jar                13-Oct-2019 19:29                5238