p2.eclipse-plugin:org.eclipse.gmf.runtime.diagram.ui.resources.editor.ide.source-1.7.0.201606071959.jar
MD5: bf4a9642a43acd1b6d4162e7689ac586
Introduced 3 yr 12 mo ago
outside Jenkins
Usage
This file has been used in the following places:
master MAN build-bundle-release | Success -Success |
master MAN build-bundle-release/org.polarsys.chess:org.polarsys.chess.product | Success -Success |