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

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