diff options
author | Harald Musum <musum@oath.com> | 2018-07-18 11:34:12 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-18 11:34:12 +0200 |
commit | f11a96bb8d0b600bc2b54e184c010129f7ecf1ba (patch) | |
tree | f76f645bae270f396576bb2ea2c349f24d4321e1 /jdisc_http_service | |
parent | 9b021a42a566b8c867c485e32ac332f15da07b11 (diff) | |
parent | fe560ab828821d4db1f5a839bd561efc5000767a (diff) |
Merge pull request #6417 from vespa-engine/revert-6410-henrhoi/rank-profiles-and-sources-in-configuration-file
Revert "henrhoi/rank-profiles-and-sources-in-configuration-file"
Diffstat (limited to 'jdisc_http_service')
0 files changed, 0 insertions, 0 deletions