diff options
| author | Tor Egge <Tor.Egge@broadpark.no> | 2019-06-24 11:53:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-24 11:53:04 +0200 |
| commit | d3fc7d9efbf656ec9a5623084fc91be0c79789e8 (patch) | |
| tree | d4764026b468476bf65c650ba7eed5d6c0405ebb /metrics-proxy/src/main/java | |
| parent | f9df9d525443f865f32b903847fd231723b67b58 (diff) | |
| parent | 38213cb7e224dddcccda542191b8e81f495cf6a4 (diff) | |
Merge pull request #9884 from vespa-engine/geirst/indexschema-def-renaming
Rename experimentalpostinglistformat -> interleavedfeatures in indexs…
Diffstat (limited to 'metrics-proxy/src/main/java')
0 files changed, 0 insertions, 0 deletions