Kill un-used `pants.jenkins.ini`.

Review Request #4369 — Created Nov. 11, 2016 and submitted — Latest diff uploaded

jsirois
pants
jsirois/ci/more-cleanup
ba4bf9b...
pants-reviews
kwlzn, patricklaw, wisechengyi
pants.jenkins.ini | 26 --------------------------
 1 file changed, 26 deletions(-)
None.
Loading...