diff options
author | Geir Storli <geirstorli@yahoo.no> | 2018-09-17 15:58:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-17 15:58:52 +0200 |
commit | 00241141adfa8a9ef6a75fc9d82887dbf00468fd (patch) | |
tree | 92244745b5301128ca5dfdb4a8c7e60373b9eef4 /vagrant | |
parent | dc82c92d0899d036a1023e9e836278c52e00b5bd (diff) | |
parent | 41541231f5f02e5298181b245a1b4da916ba37b2 (diff) |
Merge pull request #6979 from vespa-engine/toregge/stop-using-proton-search-io-setting
Stop using search.io setting from proton.def
Diffstat (limited to 'vagrant')
0 files changed, 0 insertions, 0 deletions