diff options
| author |  kmb <kmb@google.com> | 2018-02-26 13:56:47 -0800 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-02-26 13:58:04 -0800 |
| commit | cc090ed9b8544deea7a7c5cab17b263926e8c48b (patch) | |
| tree | de7990cdcf71994c1affb29b210c91d9e8985559 /src/main/java/com/google/devtools/build/lib | |
| parent | 8c72ffb4661b74ce0466d0fb68fe10af7bc54582 (diff) | |
add binary flag for core library desugaring and gate existing configuration flags by it.
RELNOTES: None.
PiperOrigin-RevId: 187075897
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib')
0 files changed, 0 insertions, 0 deletions