diff options
author | lberki <lberki@google.com> | 2018-01-11 01:22:24 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-01-11 01:24:31 -0800 |
commit | bc704360a93ff65c4d3684ab5cc0e45bd403bdd8 (patch) | |
tree | 3de0d09584b9ca11e32dafcc51ccbd2d26c4be39 /.gitattributes | |
parent | ad0d7e946cd2ad05ec89c78a2f1959ffbbfa12a8 (diff) |
Remove the unused --[no]experimental_disable_jvm command line option.
RELNOTES: The --[no]experimental_disable_jvm command line option is not
supported anymore.
PiperOrigin-RevId: 181575259
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions