diff options
| author |  Googler <noreply@google.com> | 2015-09-17 18:57:26 +0000 |
|---|---|---|
| committer |  David Chen <dzc@google.com> | 2015-09-17 19:36:06 +0000 |
| commit | 159b74c8b96622428840bf9918cce3b95021b095 (patch) | |
| tree | cfa2e2a01324c0f7f30f32bc4302e92a3f2861cd /src/main/java/com/google/devtools/build/lib/syntax/Printer.java | |
| parent | d31644256b8dde0f894cd57ac9d62bb01f598cbf (diff) | |
Remove obsolete and deprecated xcode_options flag.
RELNOTES: Remove deprecated xcode_options flag.
--
MOS_MIGRATED_REVID=103311963
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/syntax/Printer.java')
0 files changed, 0 insertions, 0 deletions