Remove some remaining old options references.

Review Request #1317 - Created Nov. 11, 2014 and submitted

Information
Benjy Weinberger
pants
7ecb4b4...
Reviewers
pants-reviews
ity, patricklaw, zundel

Remove some remaining old options references.

CI passed. Manual testing of cmd-line flags.

Eric Ayers
Benjy Weinberger
Review request changed

Status: Closed (submitted)

Change Summary:

Submitted as 53f3b88d7d18dad7f353eaeea273dec16b5846b0.
Loading...