diff options
author | Michael Pratt <mpratt@google.com> | 2018-12-06 11:42:23 -0800 |
---|---|---|
committer | Shentubot <shentubot@google.com> | 2018-12-06 11:43:11 -0800 |
commit | 666db00c262c7d6d6359fbaba28e344d015a7823 (patch) | |
tree | be5e9ca85570c04ec5625b79657ab47b0a38aada /docs | |
parent | 000fa84a3bb1aebeda235c56545c942d7c29003d (diff) |
Convert ValueSet to a map
Unlike FlagSet, order doesn't matter here, so it can simply be a map.
PiperOrigin-RevId: 224377910
Change-Id: I15810c698a7f02d8614bf09b59583ab73cba0514
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions