Index of /pub/eclipse/vorto/update/releases/0.10.1/plugins

 Name                                                  Last modified      Size  Description
 Parent Directory                                                           -   
 org.eclipse.vorto.core_0.10.1.jar                     2019-04-27 13:28  350K  
 org.eclipse.vorto.editor.datatype.ide_0.10.1.jar      2019-04-27 13:28   81K  
 org.eclipse.vorto.editor.datatype.ui_0.10.1.jar       2019-04-27 13:28   27K  
 org.eclipse.vorto.editor.datatype_0.10.1.jar          2019-04-27 13:28  199K  
 org.eclipse.vorto.editor.functionblock.ide_0.10.1.jar 2019-04-27 13:28  118K  
 org.eclipse.vorto.editor.functionblock.ui_0.10.1.jar  2019-04-27 13:28   30K  
 org.eclipse.vorto.editor.functionblock_0.10.1.jar     2019-04-27 13:28  194K  
 org.eclipse.vorto.editor.infomodel.ide_0.10.1.jar     2019-04-27 13:28  125K  
 org.eclipse.vorto.editor.infomodel.ui_0.10.1.jar      2019-04-27 13:28   23K  
 org.eclipse.vorto.editor.infomodel_0.10.1.jar         2019-04-27 13:28  131K  
 org.eclipse.vorto.editor.mapping.ide_0.10.1.jar       2019-04-27 13:28  101K  
 org.eclipse.vorto.editor.mapping.ui_0.10.1.jar        2019-04-27 13:28   24K  
 org.eclipse.vorto.editor.mapping_0.10.1.jar           2019-04-27 13:28  161K  
 org.eclipse.vorto.editor_0.10.1.jar                   2019-04-27 13:28  5.1K