Migrate NailgunKillall and Provides to new options.

Review Request #1212 - Created Oct. 24, 2014 and submitted

Information
Benjy Weinberger
pants
bd73d3c...
Reviewers
pants-reviews
dturner-tw, ity

Also fix a few bugs in Provides that cropped up while testing.

Tested various flag combos.

CI baking.

David Turner
Benjy Weinberger
Review request changed

Status: Closed (submitted)

Loading...