move ide_gen.py and friends idea_gen.py and eclipse_gen.py to new options

Review Request #1230 - Created Oct. 28, 2014 and submitted

Information
Eric Ayers
pants
zundel/ide-options-migration
736
6ffdca4...
Reviewers
pants-reviews
benjyw, ity

Move ide_gen.py and friends idea_gen.py and eclipse_gen.py to new options

CI is running.

Eric Ayers
Benjy Weinberger
Eric Ayers
Review request changed

Status: Closed (submitted)

Change Summary:

I meant to wait for Ity but submitted it with my itchy commit finger @ 8c0dad8
Loading...