diff options
author | Harald Musum <musum@verizonmedia.com> | 2019-04-29 06:39:42 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-29 06:39:42 +0200 |
commit | c522d02dfe96688616aa90b9b3765aa765996f59 (patch) | |
tree | cf57b6c174d11a63c998384edc9e6c0c74b98e89 /controller-api | |
parent | c0247319394a61ee9a81c1041ca15bb89de09af1 (diff) | |
parent | ed25d1bffcfe410e4806402db41fa9b9654c61ca (diff) |
Merge pull request #9213 from vespa-engine/balder/gc-some-unused-options
GC some options that are not used.
Diffstat (limited to 'controller-api')
0 files changed, 0 insertions, 0 deletions