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/sentry/kernel/BUILD | |
| parent | 3933dd5c04c56512eccb38657bb735f375db4de4 (diff) | |
Move //pkg/sentry/platform/procid to //pkg/procid.
PiperOrigin-RevId: 252501653
Diffstat (limited to 'pkg/sentry/kernel/BUILD')
0 files changed, 0 insertions, 0 deletions