diff options
author | 2018-04-16 10:50:24 -0700 | |
---|---|---|
committer | 2018-04-16 10:51:56 -0700 | |
commit | 6924da260265d4475685530584e82ecaefc04d89 (patch) | |
tree | 27395b22a93d84fd884020474c68d2e6f1e1e4e4 /src/main/java/com/google/devtools/build/lib/runtime/HostJvmStartupOptions.java | |
parent | 99b9248dc623f17e62bf3ba6e5de0127a6f8ec18 (diff) |
Introduce NestedSetCodecWithStore, which serializes NestedSet using a process-global bimap of fingerprints to NestedSet contents.
PiperOrigin-RevId: 193063717
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/runtime/HostJvmStartupOptions.java')
0 files changed, 0 insertions, 0 deletions