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

Icon  Name                                                  Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] org.eclipse.vorto.editor_0.12.2.jar 2019-10-17 14:28 5.1K [   ] org.eclipse.vorto.editor.mapping_0.12.2.jar 2019-10-17 14:28 163K [   ] org.eclipse.vorto.editor.mapping.ui_0.12.2.jar 2019-10-17 14:28 24K [   ] org.eclipse.vorto.editor.mapping.ide_0.12.2.jar 2019-10-17 14:28 104K [   ] org.eclipse.vorto.editor.infomodel_0.12.2.jar 2019-10-17 14:28 133K [   ] org.eclipse.vorto.editor.infomodel.ui_0.12.2.jar 2019-10-17 14:28 23K [   ] org.eclipse.vorto.editor.infomodel.ide_0.12.2.jar 2019-10-17 14:28 129K [   ] org.eclipse.vorto.editor.functionblock_0.12.2.jar 2019-10-17 14:28 196K [   ] org.eclipse.vorto.editor.functionblock.ui_0.12.2.jar 2019-10-17 14:28 30K [   ] org.eclipse.vorto.editor.functionblock.ide_0.12.2.jar 2019-10-17 14:28 124K [   ] org.eclipse.vorto.editor.datatype_0.12.2.jar 2019-10-17 14:28 200K [   ] org.eclipse.vorto.editor.datatype.ui_0.12.2.jar 2019-10-17 14:28 27K [   ] org.eclipse.vorto.editor.datatype.ide_0.12.2.jar 2019-10-17 14:28 83K [   ] org.eclipse.vorto.core_0.12.2.jar 2019-10-17 14:28 363K
Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443