![[Jenkins]](/chess/static/109842bc/images/svgs/logo.svg){kind=logo}
p2.eclipse-plugin:org.eclipse.ocl.pivot.ui-1.1.0.v20160420-1352.jar
MD5: 82d634792fb28f8296345177675ce8f1
Introduced 2 yr 9 mo ago
outside Jenkins
Usage
This file has been used in the following places:
| master MAN build-bundle-release | Aborted -Success |
| master MAN build-bundle-release/org.polarsys.chess:org.polarsys.chess.product | Success -Success |