diff options
author | janakr <janakr@google.com> | 2018-06-19 12:08:55 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-06-19 12:10:18 -0700 |
commit | 61044a00d5fe556382778f01d7113f0395a12a96 (patch) | |
tree | a25206590e39020dd0308250918c252ea4682818 /src/main/java/com/google/devtools/build/lib/repository | |
parent | b74922932b25a71c626b47ea9a9afb7dbc506cec (diff) |
Delete switch for nested set serialization. It's fast enough to be on by default.
PiperOrigin-RevId: 201218341
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/repository')
0 files changed, 0 insertions, 0 deletions