diff options
author | Henning Baldersheim <balder@yahoo-inc.com> | 2021-06-15 12:08:54 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-15 12:08:54 +0200 |
commit | 062427cbeacac0f2850558976da56a7789983b62 (patch) | |
tree | 9b0b43325c94fd6da2f20da9d09f367d25f44461 /flags | |
parent | e14579ce13cd5fc8784144ebaacb15ac3cc415fd (diff) | |
parent | 92304a9f760e6247717cc467c7ec953f48f4cb90 (diff) |
Merge pull request #18242 from vespa-engine/balder/use-list-instead-of-set
Use a list instead of a set to make building faster.
Diffstat (limited to 'flags')
0 files changed, 0 insertions, 0 deletions