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

../
org.eclipse.vorto.core_0.12.2.jar                  17-Oct-2019 12:28              371697
org.eclipse.vorto.editor.datatype.ide_0.12.2.jar   17-Oct-2019 12:28               84875
org.eclipse.vorto.editor.datatype.ui_0.12.2.jar    17-Oct-2019 12:28               27938
org.eclipse.vorto.editor.datatype_0.12.2.jar       17-Oct-2019 12:28              204347
org.eclipse.vorto.editor.functionblock.ide_0.12..> 17-Oct-2019 12:28              126799
org.eclipse.vorto.editor.functionblock.ui_0.12...> 17-Oct-2019 12:28               30332
org.eclipse.vorto.editor.functionblock_0.12.2.jar  17-Oct-2019 12:28              200940
org.eclipse.vorto.editor.infomodel.ide_0.12.2.jar  17-Oct-2019 12:28              132508
org.eclipse.vorto.editor.infomodel.ui_0.12.2.jar   17-Oct-2019 12:28               24009
org.eclipse.vorto.editor.infomodel_0.12.2.jar      17-Oct-2019 12:28              136541
org.eclipse.vorto.editor.mapping.ide_0.12.2.jar    17-Oct-2019 12:28              106913
org.eclipse.vorto.editor.mapping.ui_0.12.2.jar     17-Oct-2019 12:28               25017
org.eclipse.vorto.editor.mapping_0.12.2.jar        17-Oct-2019 12:28              166972
org.eclipse.vorto.editor_0.12.2.jar                17-Oct-2019 12:28                5237