diff options
author | Valerij Fredriksen <freva@users.noreply.github.com> | 2019-05-31 09:53:34 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-31 09:53:34 +0200 |
commit | 49c2e29f2112fc9fb8b7c55d0e78e5dc71edfa7c (patch) | |
tree | 64cd14b6ad7df482c7e3729e75fb7fc27951ba7e /metrics-proxy | |
parent | 530df929b49dc0285ee31fa74c1bcfc908f787f1 (diff) | |
parent | c806e235b46243fd473873afddb8b2620882ab93 (diff) |
Merge pull request #9622 from vespa-engine/revert-9534-hmusum/remove-mapping-of-unused-dir
Revert "Remove mapping of unused directory"
Diffstat (limited to 'metrics-proxy')
0 files changed, 0 insertions, 0 deletions