Get rid of option_helpers.py.

Review Request #1439 — Created Dec. 6, 2014 and submitted — Latest diff uploaded

benjyw
pants
d420237...
pants-reviews
lahosken, zundel

It was redundant with global_options.py.

This allowed us to make doc gen for global options
more uniform with that for task-specific options.

CI passed.

Manually generated docs and eyeballed them.

Loading...