< ancient stone 50795> is it a diff script than <https githu Pants #general

<@U053H6LQS>: is it a diff script than: <https://g...

m

mammoth-pharmacist-54215

11/04/2015, 9:33 PM

@ancient-stone-50795: is it a diff script than: https://github.com/pantsbuild/pants/blob/master/src/python/pants/bin/repro.py