p2.eclipse-plugin:org.eclipse.ui.navigator.resources-3.5.100.v20160518-1929.jar
MD5: fd9ba69be6d7a7d054ca8f0c5126342a
Introduced 4 yr 8 mo ago
outside Jenkins
Usage
This file has been used in the following places: