https://pantsbuild.org/ logo
#general
Title
# general
h

happy-kitchen-89482

04/28/2016, 12:21 AM
except that we need the mapping of plugin name to jar, which we currently get by opening up that jar and looking at the xml