diff options
author | Jamie Liu <jamieliu@google.com> | 2019-06-10 15:46:17 -0700 |
---|---|---|
committer | Shentubot <shentubot@google.com> | 2019-06-10 15:47:25 -0700 |
commit | 589f36ac4ae31b1f7f35a74d982398e48c28aa31 (patch) | |
tree | 93f15b9a87a4af2ff3c486c2b0754687579fee0d /pkg/metric/BUILD | |
parent | 3933dd5c04c56512eccb38657bb735f375db4de4 (diff) |
Move //pkg/sentry/platform/procid to //pkg/procid.
PiperOrigin-RevId: 252501653
Diffstat (limited to 'pkg/metric/BUILD')
0 files changed, 0 insertions, 0 deletions