diff options
| author |  ccalvarin <ccalvarin@google.com> | 2018-06-06 11:54:00 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-06-06 11:55:42 -0700 |
| commit | af8b772560301f89de251dc494b3c5669451c5df (patch) | |
| tree | 9b29f59814b0518cf3e6fc2b5c53f16286afdf87 /third_party/BUILD | |
| parent | 52fa20f5830c2500f5f0f6c9f4522bf75583ce36 (diff) | |
Mark --batch as deprecated in the documentation.
RELNOTES: None.
PiperOrigin-RevId: 199503117
Diffstat (limited to 'third_party/BUILD')
0 files changed, 0 insertions, 0 deletions