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

../
org.eclipse.vorto.core_0.12.5.jar                  16-Dec-2019 14:53              371892
org.eclipse.vorto.editor.datatype.ide_0.12.5.jar   16-Dec-2019 14:53               84878
org.eclipse.vorto.editor.datatype.ui_0.12.5.jar    16-Dec-2019 14:53               27940
org.eclipse.vorto.editor.datatype_0.12.5.jar       16-Dec-2019 14:53              204348
org.eclipse.vorto.editor.functionblock.ide_0.12..> 16-Dec-2019 14:53              126898
org.eclipse.vorto.editor.functionblock.ui_0.12...> 16-Dec-2019 14:53               30333
org.eclipse.vorto.editor.functionblock_0.12.5.jar  16-Dec-2019 14:53              200343
org.eclipse.vorto.editor.infomodel.ide_0.12.5.jar  16-Dec-2019 14:53              132570
org.eclipse.vorto.editor.infomodel.ui_0.12.5.jar   16-Dec-2019 14:53               24011
org.eclipse.vorto.editor.infomodel_0.12.5.jar      16-Dec-2019 14:53              135945
org.eclipse.vorto.editor.mapping.ide_0.12.5.jar    16-Dec-2019 14:53              106915
org.eclipse.vorto.editor.mapping.ui_0.12.5.jar     16-Dec-2019 14:53               25018
org.eclipse.vorto.editor.mapping_0.12.5.jar        16-Dec-2019 14:53              166970
org.eclipse.vorto.editor_0.12.5.jar                16-Dec-2019 14:53                5237