diff options
author | Dave Barach <dave@barachs.net> | 2016-01-29 11:00:00 -0500 |
---|---|---|
committer | Dave Barach <dave@barachs.net> | 2016-01-29 11:00:13 -0500 |
commit | fc659e711520630d7f1f1ece3d72ffb398d5cef6 (patch) | |
tree | f3a2da826c47b460980e6e51b496caaa6eb6bdc8 /vppinfra/.gitignore | |
parent | ec21e13a13281066faee24ef962fa439c22528cb (diff) |
Rationalize metric names.
Change-Id: I3144e58f635ef94224387e8729bf8db6aa77a106
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'vppinfra/.gitignore')
0 files changed, 0 insertions, 0 deletions