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

../
org.eclipse.vorto.core_0.12.0.jar                  30-Sep-2019 19:01              370548
org.eclipse.vorto.editor.datatype.ide_0.12.0.jar   30-Sep-2019 19:01               84873
org.eclipse.vorto.editor.datatype.ui_0.12.0.jar    30-Sep-2019 19:01               27937
org.eclipse.vorto.editor.datatype_0.12.0.jar       30-Sep-2019 19:01              204345
org.eclipse.vorto.editor.functionblock.ide_0.12..> 30-Sep-2019 19:01              126797
org.eclipse.vorto.editor.functionblock.ui_0.12...> 30-Sep-2019 19:01               30329
org.eclipse.vorto.editor.functionblock_0.12.0.jar  30-Sep-2019 19:01              200936
org.eclipse.vorto.editor.infomodel.ide_0.12.0.jar  30-Sep-2019 19:01              132506
org.eclipse.vorto.editor.infomodel.ui_0.12.0.jar   30-Sep-2019 19:01               24009
org.eclipse.vorto.editor.infomodel_0.12.0.jar      30-Sep-2019 19:01              136538
org.eclipse.vorto.editor.mapping.ide_0.12.0.jar    30-Sep-2019 19:01              106907
org.eclipse.vorto.editor.mapping.ui_0.12.0.jar     30-Sep-2019 19:01               25015
org.eclipse.vorto.editor.mapping_0.12.0.jar        30-Sep-2019 19:01              166967
org.eclipse.vorto.editor_0.12.0.jar                30-Sep-2019 19:01                5234