diff options
author | tomlu <tomlu@google.com> | 2017-08-18 20:36:14 +0200 |
---|---|---|
committer | Damien Martin-Guillerez <dmarting@google.com> | 2017-08-21 14:15:58 +0200 |
commit | 8158a286a8e72ec3f5259d155f6856fea9d07fea (patch) | |
tree | 281b31f216009efb59fa0d5a14001e7c8242e8b8 /src/main/java/com/google/devtools/build/lib/analysis/config/TransitiveOptionDetails.java | |
parent | f3ec180d0373289b25d96c9d00d2d2d027ae147d (diff) |
Remove CustomArgv. It is unused.
PiperOrigin-RevId: 165731260
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/analysis/config/TransitiveOptionDetails.java')
0 files changed, 0 insertions, 0 deletions