p2.eclipse-plugin:org.eclipse.xtext.ui-2.16.0.v20181203-1056.jar
MD5: 90d2403a8d70eeee5395cc68a993b816
Introduced 2 yr 11 mo ago
outside Jenkins
Usage
This file has been used in the following places: