diff options
| author | Håvard Pettersen <3535158+havardpe@users.noreply.github.com> | 2020-12-08 16:48:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-08 16:48:07 +0100 |
| commit | a2ec6088e409c60f8ad76176f9a4a128e747cfeb (patch) | |
| tree | d2815e673929fd83d859f285a00b7910718a7102 /flags | |
| parent | ef8acd764e9d0eb985fac59eab4ca438a47d973a (diff) | |
| parent | c2d182daf05ce25fc672d95e2dbfcbae6cd06a0c (diff) | |
Merge pull request #15744 from vespa-engine/havardpe/minor-cleanup
minor cleanup
Diffstat (limited to 'flags')
0 files changed, 0 insertions, 0 deletions