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