diff options
| author | gVisor bot <gvisor-bot@google.com> | 2019-07-22 16:12:45 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2019-07-22 16:12:46 -0700 |
| commit | d706922d788a1bbc9f1c917af1a08ca86488aab0 (patch) | |
| tree | 0533b6c9a77915f227a78ce209867ae3092954b1 /vdso/BUILD | |
| parent | ec906e46c0f99ab4d134c1d7bd84b48ea0a78488 (diff) | |
| parent | ffe45f38e6f379c1c6986348f361914202603978 (diff) | |
Merge pull request #571 from lubinszARM:pr_loader
PiperOrigin-RevId: 259427074
Diffstat (limited to 'vdso/BUILD')
0 files changed, 0 insertions, 0 deletions