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

 Name                                                  Last modified      Size  Description
 Parent Directory                                                           -   
 org.eclipse.vorto.core_0.12.4.jar                     2019-10-25 18:09  363K  
 org.eclipse.vorto.editor.datatype.ide_0.12.4.jar      2019-10-25 18:09   83K  
 org.eclipse.vorto.editor.datatype.ui_0.12.4.jar       2019-10-25 18:09   27K  
 org.eclipse.vorto.editor.datatype_0.12.4.jar          2019-10-25 18:09  200K  
 org.eclipse.vorto.editor.functionblock.ide_0.12.4.jar 2019-10-25 18:09  124K  
 org.eclipse.vorto.editor.functionblock.ui_0.12.4.jar  2019-10-25 18:09   30K  
 org.eclipse.vorto.editor.functionblock_0.12.4.jar     2019-10-25 18:09  196K  
 org.eclipse.vorto.editor.infomodel.ide_0.12.4.jar     2019-10-25 18:09  129K  
 org.eclipse.vorto.editor.infomodel.ui_0.12.4.jar      2019-10-25 18:09   23K  
 org.eclipse.vorto.editor.infomodel_0.12.4.jar         2019-10-25 18:09  133K  
 org.eclipse.vorto.editor.mapping.ide_0.12.4.jar       2019-10-25 18:09  104K  
 org.eclipse.vorto.editor.mapping.ui_0.12.4.jar        2019-10-25 18:09   24K  
 org.eclipse.vorto.editor.mapping_0.12.4.jar           2019-10-25 18:09  163K  
 org.eclipse.vorto.editor_0.12.4.jar                   2019-10-25 18:09  5.1K