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

../
org.eclipse.vorto.core_0.12.3.jar                  24-Oct-2019 14:41              371696
org.eclipse.vorto.editor.datatype.ide_0.12.3.jar   24-Oct-2019 14:41               84877
org.eclipse.vorto.editor.datatype.ui_0.12.3.jar    24-Oct-2019 14:41               27939
org.eclipse.vorto.editor.datatype_0.12.3.jar       24-Oct-2019 14:41              204349
org.eclipse.vorto.editor.functionblock.ide_0.12..> 24-Oct-2019 14:41              126799
org.eclipse.vorto.editor.functionblock.ui_0.12...> 24-Oct-2019 14:41               30332
org.eclipse.vorto.editor.functionblock_0.12.3.jar  24-Oct-2019 14:41              200940
org.eclipse.vorto.editor.infomodel.ide_0.12.3.jar  24-Oct-2019 14:41              132509
org.eclipse.vorto.editor.infomodel.ui_0.12.3.jar   24-Oct-2019 14:41               24011
org.eclipse.vorto.editor.infomodel_0.12.3.jar      24-Oct-2019 14:41              136544
org.eclipse.vorto.editor.mapping.ide_0.12.3.jar    24-Oct-2019 14:41              106914
org.eclipse.vorto.editor.mapping.ui_0.12.3.jar     24-Oct-2019 14:41               25018
org.eclipse.vorto.editor.mapping_0.12.3.jar        24-Oct-2019 14:41              166971
org.eclipse.vorto.editor_0.12.3.jar                24-Oct-2019 14:41                5238