p2.eclipse-plugin:org.eclipse.gmf.runtime.diagram.ui.resources.editor-1.7.0.201606071959.jar
MD5: faad69a1bd4bca8a15838d2638ef87db
Introduced 4 yr 10 mo ago
outside Jenkins
Usage
This file has been used in the following places:
This file has been used in the following places: