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