p2.eclipse-plugin:org.eclipse.gmf.runtime.diagram.ui.resources.editor.ide-1.7.0.201806010809.jar
MD5: 7492e70c63bcf6465b9cb38d53add23f
Introduced 1 yr 8 mo ago
outside Jenkins
Usage
This file has been used in the following places: