p2.eclipse-plugin:org.eclipse.gmf.runtime.diagram.ui.resources.editor-1.7.0.201806010809.jar
MD5: e05b5c8388d1b18e3147a5f04109e7ea
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: