https://pantsbuild.org/ logo
w

wide-energy-11069

11/03/2016, 6:40 AM
you can use the plugin to edit the tooling used by pants e.g. https://github.com/pantsbuild/pants/tree/master/src/java/org/pantsbuild/tools/runner