p2.eclipse-plugin:org.eclipse.papyrus.infra.properties.edit-3.0.0.201812120922.jar
MD5: a5c81c600884b4a2dc9d3029360e9869
Introduced 4 yr 9 mo ago
outside Jenkins
Usage
This file has been used in the following places:
This file has been used in the following places: