p2.eclipse-plugin:org.eclipse.ui.externaltools-3.3.100.v20160518-1858.jar

MD5: cc8f0d775af1b217ca3a91706b0130d4

Introduced 3 yr 11 mo ago outside Jenkins

Usage

This file has been used in the following places:

master MAN build-bundle-release	Success #1-Success #10
master MAN build-bundle-release/org.polarsys.chess:org.polarsys.chess.product	Success #2-Success #10