Netflix/PigPen — pull request #40 by mbossenbroek (2014-06-17 22:28:10+00:00)
Title: Make the pigpen.jar location in the generated script configurable

Use the `:pigpen-jar-location` option to generate a script with a location other than 'pigpen.jar'