p2.eclipse-plugin:org.eclipse.ui.ide-3.12.1.v20160823-0925.jar
MD5: 65c76315b1edfe3b11293c80b431622d
Introduced 4 yr 3 mo ago
outside Jenkins
Usage
This file has been used in the following places: