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

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