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