diff options
author | gjoranv <gjoranv@gmail.com> | 2017-09-06 15:17:54 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-06 15:17:54 +0200 |
commit | 57fde4202f402ebeb177b1b4120b755800190df5 (patch) | |
tree | 31aae3e7224013d90e8d810030666bcff827d2a4 /container-dev/pom.xml | |
parent | d4c79c2e7c675c7e9b4c974418f58da58cfa2a47 (diff) | |
parent | 834482a1b0e414295cce8cb9e223033d8c194f44 (diff) |
Merge pull request #3348 from vespa-engine/arnej/add-metrics-display-name
Arnej/add metrics display name
Diffstat (limited to 'container-dev/pom.xml')
0 files changed, 0 insertions, 0 deletions